1
0
0
News
Could peer-to-peer technology solve the privacy conundrum?
www.brisbanetimes.com.au
A unique approach to crunching website visitor data promises the best of both worlds between accuracy and privacy, writes Drew Turney
Collecting digital user data without invading privacy - Press-News.orgpress-news.org › collecting-digital-user-data...
press-news.org
In cooperation with his colleagues Fabienne Eigner and Matteo Maffei from the Center for IT-Security, Privacy and Accountability (CISPA) and Francesca ...
Sprachgewandte Überflieger
www.volksfreund.de
... Sarah Natus (Friedrich-Spee-Gymnasium), Julie Warnecke, Fabienne Eigner (beide Hindenburg-Gymnasium), Christina Kiefer, Stephanie Metzler
Zwölf Mal Eins vorm Komma
www.volksfreund.de
Fabienne Eigner wurde für das beste Abitur (1,0 mit 805 Punkten), die erfolgreiche Teilnahme am Fremdsprachenwettbewerb Französisch und für ihr hervorragendes soziales Engagement ausgezeichnet.
Netzwerk-Profile
LinkedIn: Fabienne Eigner | LinkedIn
Fabienne Eigners berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Fabienne Eigner dabei hilft, interne Kontakte zu finden, die mit empfohlenen Kandidaten, Branchenexperten und potenziellen Geschäftspartnern verbunden sind.
heades/substruct-logic-security-bib: This is a bibliography GitHubgithub.com › heades › substruct-logic-security-bib
github.com
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei, Logical Foundations of Secure Resource Management in Protocol Implementations, ...
Deepak Garg - Papers
people.mpi-sws.org
Deepak Garg. Home Papers Research group Teaching Service Contact: Research Papers [Published papers] [Edited volumes] ... With Reinhard Munz, Fabienne Eigner, Matteo Maffei and Paul Francis. Conference on Principles of Security and Trust (POST),
Logics in Security
people.mpi-sws.org
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. POST February 4: Untyped lambda calculus B.C. Pierce's TAPL book, Chapter 5 February 5: ... this means is that students can learn from the course independent of their existing background in logic and security. The course is structured into several modules. Each module ...
Interessen
Could peer-to-peer technology solve the privacy conundrum?www.smh.com.au › Technology › Business IT
www.smh.com.au
· "It's a bit like tearing a picture apart and giving pieces to friends," explains PhD student Fabienne Eigner, who is part of the development team.
Firmen-Mitarbeiter
Contact person - Digital Technologieswww.digitale-technologien.de › Ansprechpartner
www.digitale-technologien.de
Dr. Fabienne Eigner German Aerospace Center (DLR) Bonn Phone +
Private Homepages
Fabienne Eigner Namen Analyse
fabienne-eigner.deunamen.com
DeuNamen.com - Fabienne Eigner Namen Analyse und statistische für Deutschland und Österreich
Informationen zu www.lbs.cs.uni-saarland.de - webinator.de
www.webinator.de
Umfassende Details zu der Webseite www.lbs.cs.uni-saarland.de mit Schlagwörtern, Verantwortlichen und vielen weiteren Infos.
Lbs.cs.uni-Saarland.de - Erfahrungen und Bewertungen
www.webwiki.de
Finden Sie Bewertungen und Erfahrungen zu Lbs.cs.uni-Saarland.de. Hompage of the Secure and Privacy-preserving Systems Group, Saarland University. Universität,...
Kim foundation international - webinator.de
www.webinator.de
Die besten Webseiten zu Kim Foundation International. webinator.de analysiert das deutsprachige Internet und findet für Sie die besten und beliebtesten Seiten
Ausbildung
Principles of security and trust : second International Conference,...
searchworks.stanford.edu
Stanford Libraries' official online search tool for books, media, journals, databases, government documents and more.
Security & Privacy TU Wiensecpriv.tuwien.ac.at › alumni
secpriv.tuwien.ac.at
Fabienne Eigner, Maffei, Saarland UniversityDeutsches Zentrum für Luft- und Raumfahrt e.V.. Kim Pecina, Maffei, Saarland University,
Bücher
InforLorV1, Hal, Checkpoint, indexItem, Author.i, Fabienne Eigner
lorexplor.istex.fr
Pour mettre un lien sur cette page dans le réseau Wicri. {{Explor lien |wiki= Wicri/Lorraine |area= InforLorV1 |flux= Hal |étape= Checkpoint |type= indexItem |index= Author.i |clé= Fabienne Eigner }} ...
Fabienne Eigner
www.iacr.org
Fabienne Eigner. Publications. Year. Venue. Title EPRINT. Type-Based Verification of Electronic Voting Protocols · Véronique Cortier Fabienne Eigner ...
Affine Refinement Types for Authentication and Authorization |...
www.springerprofessional.de
Refinement type systems have proved very effective for security policy verification in distributed authorization systems. In earlier work [12], we
Principles of Security and Trust: 4th International Conference, ...books.google.com › books
books.google.de
303 Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, and Cyrille Wiedling Composing Security Protocols: From Confidentiality to Privacy .
Dokumente zum Namen
SCHATTENBLICK - MESSE/601: CeBIT Im Internet Benutzerdaten...
www.schattenblick.de
Zusammen mit seinen Kollegen Fabienne Eigner und Matteo Maffei vom Saarbrücker Center for IT-Security, Privacy and Accountability ...
Steve Kremer: Type-Based Verification of Electronic Voting Protocolsmembers.loria.fr › SKremer › files › Publications
members.loria.fr
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, and Cyrille Wiedling. Type-Based Verification of Electronic Voting Protocols. In Proceedings of ...
Hidden-service statistics reported by relays - Aaron Michael ...
www.ohmygodel.com
[8] Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, and Ivan Pryvalov. Differentially private data aggregation with optimal ...
Type-Based Verification of Electronic Voting Protocols
perso.uclouvain.be
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, and Cyrille Wiedling. In Proceedings of the 4th International Conference on Principles of ...
Wissenschaftliche Veröffentlichungen
dblp: BibTeX records: Fabienne Eigner
dblp.uni-trier.de
List of computer science publications by BibTeX records: Fabienne Eigner
Seminar: Games in Verification and Synthesis
www.react.uni-saarland.de
Fabienne Eigner : Alternating-time temporal logics: pdf: pdf: June 26 : Jonathan Türpe : Distributed synthesis: pdf: pdf: June 26 : Steffen Metzger : Bounded
dblp: ACM Transactions on Programming Languages and Systems, Volume 37
dblp.dagstuhl.de
Bibliographic content of ACM Transactions on Programming Languages and Systems, Volume 37
Veröffentlichungen allgemein
Type-Based Verification of Electronic Voting Protocols - Corecore.ac.uk › download › pdf
core.ac.uk
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling. Type-. Based Verification of Electronic Voting Protocols.
Affine Refinement Types for Authentication and Authorization |...
link.springer.com
Refinement type systems have proved very effective for security policy verification in distributed authorization systems. In earlier work [12], we have...
Differential Privacy by Typing in Security Protocols - researchr...
researchr.org
@inproceedings{EignerM13, title = {Differential Privacy by Typing in Security Protocols}, author = {Fabienne Eigner and Matteo Maffei}, year = {2013}, doi ...
Principles of Security and Trust | SpringerLinklink.springer.com › book
link.springer.com
PDF · Logical Foundations of Secure Resource Management in Protocol Implementations. Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei.
Sonstiges
Fabienne Eigner | LinkedIn
www.linkedin.com
View Fabienne Eigner's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Fabienne Eigner discover ...
Fabienne Eigner - Google Scholar
scholar.google.fr
DLR, formerly Saarland University - อ้างอิงโดย 199 รายการ - Information Security - Privacy - Type Systems - Logic - Verification
Fabienne Eigner - Google Acadêmico
scholar.google.fr
DLR, formerly Saarland University - Citado por 170 - Information Security - Privacy - Type Systems - Logic - Verification
Fabienne Eigner - Google Cendekia
scholar.google.com
DLR, formerly Saarland University - …utip 199 kali - Information Security - Privacy - Type Systems - Logic - Verification
Type-based Verification of Electronic Voting Systems - ppt download
slideplayer.com
Motivation Civitas RCF Security Properties of E-Voting protocols Overview Motivation Civitas RCF Security Properties of E-Voting protocols
Fabienne Eigner - researchr alias
researchr.org
Privacy-preserving Data Aggregation with Optimal UtilityFabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov. iacr, 2014:482,
Fabienne Eigner - Google Scholar Citations
scholar.google.com.pe
View all co-authors. Fabienne Eigner. Saarland University. Information Security - Privacy - Type Systems - Logic - Verification. Verified email at cs.uni-saarland.
Fabienne Eigner - Google 学术搜索引用
scholar.google.fr
合并的引用. 此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有*标记的引文可能与个人学术档案中的文章有所区别。 完成 ...
Reinhard Munz
sites.google.com
With Fabienne Eigner, Matteo Maffei, Paul Francis, and Deepak Garg. Conference on Principles of Security and Trust (POST), [Technical report with proofs].
Con Collector - Thinkstcc.thinkst.com › Eigner › Fabienne › timeline
cc.thinkst.com
Fabienne Eigner [List-Of-Talks] [Speaker-Links]. Created with Raphaël Unaffiliated Differential Privacy by Typing in Security Protoc Differentially Private ...
Matteo Maffei - Google Scholar
scholar.google.nl
Full Professor at TU Wien - Geciteerd door - Program Verification - Mobile Security - Web Security - Cryptographic Protocols -...
Dichterdschungel.de | – vom Affen geprüft – | Page 3
www.dichterdschungel.de
– Fabienne Eigner, Informatik UdS, „Traue keiner Statistik, die du nicht selbst geschützt hast!“ (Reihenfolge tba) Auch hier wieder in die Camera Zwo kommen. 19:30 ist Einlass. 20:00 geht es los. Karten kosten 6€ (VVK ab sofort exklusiv in der Camera Zwo). Keine Sitzplatzgarantie.
ACSAC2014 Programwww.acsac.org › program-final
www.acsac.org
Fabienne Eigner Saarland University, CISPA Germany. Aniket Kate MMCI, Saarland University Germany. Matteo Maffei Saarland University, CISPA Germany.
Achieving Optimal Utility for Distributed IOS Press Ebooksebooks.iospress.nl › volumearticle
ebooks.iospress.nl
Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov. Pages DOI Category. Chapter 5.
Achieving Optimal Utility for Distributed IOS Press Ebooks colo.transip.net › volumearticle
141-138-137-117.colo.transip.net
Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov. Pages DOI Category. Chapter 5.
Aniket Kate: Publications - Purdue Computer Sciencewww.cs.purdue.edu › homes › akate › publications
www.cs.purdue.edu
Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, and Ivan Pryvalov Annual Computer Security Applications Conference (ACSAC), December ...
ACM Transactions on Programming Languages and Systems
ftp.math.utah.edu
Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei Affine Refinement Types for Secure Distributed Programming ...
Best ETAPS Paperwww.eatcs.org › index.php › best-etaps-paper
www.eatcs.org
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei: "Logical Foundations of Secure Resource Management in Protocol Implementations" ...
Accepted papers — CSF 2011
csf2011.inria.fr
Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols Michele Bugliesi, Stefano Calzavara, Fabienne Eigner and Matteo Maffei.
Accepted Papers
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
sortiert nach Relevanz / Datum