Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(40)
Michael Backes
19
Riccardo Focardi
13
Michele Bugliesi
8
Kim Pecina
7
Stefan Lorenz
4
Conferences
(13)
CSFW
5
CCS
3
PODC
2
ESOP
2
S&P
2
Journals
(4)
ENTCS
2
JCS
1
PNAS
1
Electronic Proceedings in Theoretical Computer Science
1
Keywords
(83)
Embed
Subscribe
Academic
Authors
Matteo Maffei
Matteo Maffei,Saarland University,Security & Privacy,Algorithms & Theory,Software Engineering
Edit
Matteo Maffei
Saarland University
Publications:
39
|
Citations:
224
Fields:
Security & Privacy
,
Algorithms & Theory
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
40 co-authors
from 2003 to 2012
|
Cited by
181 authors
Cumulative
Annual
Sort by:
Publications
(39)
BibTeX
|
RIS
|
RefWorks
Download
ObliviAd: Provably Secure and Practical Online Behavioral Advertising
(
Citations: 1
)
Michael Backes
,
Aniket Kate
,
Matteo Maffei
,
Kim Pecina
Conference:
IEEE Symposium on Security and Privacy - S&P
, pp. 257-271, 2012
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
Michele Bugliesi
,
Stefano Calzavara
,
Fabienne Eigner
,
Matteo Maffei
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 83-98, 2011
Securing social networks
Michael Backes
,
Matteo Maffei
,
Kim Pecina
Published in 2011.
Union and Intersection Types for Secure Protocol Implementations
Michael Backes
,
Cătălin Hrictcu
,
Matteo Maffei
Published in 2011.
Privacy-aware proof-carrying authorization
Matteo Maffei
,
Kim Pecina
Published in 2011.
Sort by:
Citations
(224 times by 120 publications)
A Finite Equivalence of Verifiable Multi-secret Sharing
Hui Zhao
,
Mingchu Li
,
Kouichi Sakurai
,
Yizhi Ren
,
Jonathan Z. Sun
,
Fengying Wang
Published in 2012.
MoRePriv: Mobile OS Support for Application Personalization and Privacy
Drew Davidson
,
Benjamin Livshits
Published in 2012.
Secure distributed programming with value-dependent types
(
Citations: 6
)
Nikhil Swamy
,
Juan Chen
,
Cédric Fournet
,
Pierre-Yves Strub
,
Karthikeyan Bharagavan
,
Jean Yang
Journal:
Sigplan Notices - SIGPLAN
, pp. 266-278, 2011
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-45, 2011
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
(
Citations: 3
)
Francois Dupressoir
,
Andrew D. Gordon
,
Jan Juerjens
,
David A. Naumann
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 3-17, 2011
Comments