Search results for "Matteo Maffei"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Backes, Catalin Hritcu, Matteo Maffei	Union and Intersection Types for Secure Protocol Implementations.	TOSCA	2011	DBLP DOI BibTeX RDF
1	Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk	G2C: Cryptographic Protocols from Goal-Driven Specifications.	TOSCA	2011	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei	Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.	CSF	2011	DBLP DOI BibTeX RDF
1	Michael Backes, Matteo Maffei, Kim Pecina	Securing social networks.	PODC	2011	DBLP DOI BibTeX RDF
1	Michael Backes, Matteo Maffei, Kim Pecina	A Security API for Distributed Social Networks.	NDSS	2011	DBLP BibTeX RDF
1	Michael Backes, Matteo Maffei, Dominique Unruh	Computationally Sound Verification of Source Code.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	Reinhard Wilhelm, Matteo Maffei	Ubiquitous Verification of Ubiquitous Systems.	SEUS	2010	DBLP DOI BibTeX RDF
1	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina	Brief announcement: anonymity and trust in distributed systems.	PODC	2010	DBLP DOI BibTeX RDF	anonymity in decentralized systems, formal verification, cryptographic protocols
1	Michael Backes, Matteo Maffei, Esfandiar Mohammadi	Computationally Sound Abstraction and Verification of Secure Multi-Party Computations.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Michael Backes, Matteo Maffei, Dominique Unruh	Computationally sound verification of source code.	ACM Conference on Computer and Communications Security	2010	DBLP DOI BibTeX RDF
1	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina	Anonymous Webs of Trust.	Privacy Enhancing Technologies	2010	DBLP DOI BibTeX RDF
1	Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum	Anonymity and Censorship Resistance in Unstructured Overlay Networks.	OTM Conferences	2009	DBLP DOI BibTeX RDF
1	Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei	Achieving Security Despite Compromise Using Zero-knowledge.	CSF	2009	DBLP DOI BibTeX RDF	Protocol Transformation, Security Despite Compromise, Type Systems, Protocol Design, Zero-Knowledge Proofs
1	Michael Backes, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	zero-knowledge, Language-based security, automated verification, applied pi-calculus
1	Michael Backes, Catalin Hritcu, Matteo Maffei	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.	CSF	2008	DBLP DOI BibTeX RDF	Electronic Voting Protocols, Language-based security, Applied Pi-calculus
1	Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum	Anonymous and censorship resistant content sharing in unstructured overlays.	PODC	2008	DBLP DOI BibTeX RDF
1	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.	CAV	2008	DBLP DOI BibTeX RDF
1	Michael Backes, Catalin Hritcu, Matteo Maffei	Type-checking zero-knowledge.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	type systems, language-based security, authorization policies, zero-knowledge protocols
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Dynamic types for authentication.	Journal of Computer Security	2007	DBLP BibTeX RDF
1	Michael Backes, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Michael Backes, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
1	Michael Backes, Agostino Cortesi, Matteo Maffei	Causality-based Abstraction of Multiplicity in Security Protocols.	CSF	2007	DBLP DOI BibTeX RDF
1	Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei	A calculus of challenges and responses.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
1	Matteo Maffei	Tags for Multi-Protocol Authentication.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Matteo Maffei, Francesco Placella	Inferring authentication tags.	WITS	2005	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Analysis of Typed Analyses of Authentication Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Matteo Maffei	The rho-spi Calculus at Work: Authentication Case Studies.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Compositional Analysis of Authentication Protocols.	ESOP	2004	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Authenticity by tagging and typing.	FMSE	2004	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Principles for Entity Authentication.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF

Publications of "Matteo Maffei" ( http://dblp.L3S.de/Authors/Matteo_Maffei )