sign in · help · news · about ·

BibSonomy :: author :: Maffei ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(54)

<< < 1 | 2 | 3 > >>

Union and Intersection Types for Secure Protocol Implementations.
Michael Backes, Catalin Hritcu, and Matteo Maffei TOSCA, volume 6993 of Lecture Notes in Computer Science, page 1-28. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
G2C: Cryptographic Protocols from Goal-Driven Specifications.
Michael Backes, Matteo Maffei, Kim Pecina, and Raphael M. Reischuk TOSCA, volume 6993 of Lecture Notes in Computer Science, page 57-77. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
Michael Backes, Matteo Maffei, and Dominique Unruh IACR Cryptology ePrint Archive (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Computationally Sound Verification of Source Code.
Michael Backes, Matteo Maffei, and Dominique Unruh IACR Cryptology ePrint Archive (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Evolvable Production Systems: Mechatronic Production Equipment with Evolutionary Control.
Antonio Maffei, Mauro Onori, Pedro Neves 0002, and José Barata DoCEIS, volume 314 of IFIP, page 133-142. Springer, (2010)
to dblp by dblp on Nov 22, 2011, 12:00 AM
URL | BibTeX
A Security API for Distributed Social Networks.
Michael Backes, Matteo Maffei, and Kim Pecina NDSS, The Internet Society, (2011)
to dblp by dblp on Aug 31, 2011, 12:00 AM
URL | BibTeX
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei CSF, page 83-98. IEEE Computer Society, (2011)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Retrieval of vegetation moisture indicators for dynamic fire risk assessment with simulated MODIS radiance.
Carmine Maffei, Antonio P. Leone, Mauro Vella, Giuseppe Meoli, Maurizio Tosca, and Massimo Menenti IGARSS, page 4648-4651. IEEE, (2007)
to dblp by dblp on Aug 5, 2011, 12:00 AM
URL | BibTeX
Principles for Entity Authentication.
Michele Bugliesi, Riccardo Focardi, and Matteo Maffei Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 294-306. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Compositional Analysis of Authentication Protocols.
Michele Bugliesi, Riccardo Focardi, and Matteo Maffei ESOP, volume 2986 of Lecture Notes in Computer Science, page 140-154. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
The human olfactory receptor 17-40: Requisites for fitting into the binding pocket.
Cecilia Anselmi, Anna Buonocore, Marisanna Centini, Roberto Maffei Facino, and Hanns Hatt Computational Biology and Chemistry 35(3):159-168 (2011)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Securing social networks.
Michael Backes, Matteo Maffei, and Kim Pecina PODC, page 341-342. ACM, (2011)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
A kinetic approach to the mathematical model of fixed bed gasifiers.
S. Sommariva, R. Grana, T. Maffei, Sauro Pierucci, and Eliseo Ranzi Computers & Chemical Engineering 35(5):928-935 (2011)
to dblp by dblp on Apr 19, 2011, 12:00 AM
URL | BibTeX
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations.
Michael Backes, Matteo Maffei, and Esfandiar Mohammadi FSTTCS, volume 8 of LIPIcs, page 352-363. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2010)
to dblp by dblp on Jan 8, 2011, 12:00 AM
URL | BibTeX
Ubiquitous Verification of Ubiquitous Systems.
Reinhard Wilhelm, and Matteo Maffei SEUS, volume 6399 of Lecture Notes in Computer Science, page 47-58. Springer, (2010)
to dblp by dblp on Oct 27, 2010, 12:00 AM
URL | BibTeX
Brief announcement: anonymity and trust in distributed systems.
Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina PODC, page 237-238. ACM, (2010)
to dblp by dblp on Aug 10, 2010, 12:00 AM
URL | BibTeX
Anonymous Webs of Trust.
Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina Privacy Enhancing Technologies, volume 6205 of Lecture Notes in Computer Science, page 130-148. Springer, (2010)
to dblp by dblp on Jul 21, 2010, 4:01 PM
URL | BibTeX
Spatial and temporal organization in retinal units.
Giuseppe Gestri, Lamberto Maffei, and Donatella Petracchi Biological Cybernetics 3(4):196-202 (1966)
to dblp by dblp on Mar 18, 2010, 12:00 AM
URL | BibTeX
The Quijote CMB Experiment
J. A. Rubino-Martin, R. Rebolo, M. Tucci, R. Genova-Santos, S. R. Hildebrandt, R. Hoyland, J. M. Herreros, F. Gomez-Renasco, C. Lopez Caraballo, E. Martinez-Gonzalez, P. Vielva, D. Herranz, F. J. Casas, E. Artal, B. Aja, L. de la Fuente, J. L. Cano, E. Villa, A. Mediavilla, J. P. Pascual, L. Piccirillo, B. Maffei, G. Pisano, R. A. Watson, R. Davis, R. Davies, R. Battye, R. Saunders, K. Grainge, P. Scott, M. Hobson, A. Lasenby, G. Murga, C. Gomez, A. Gomez, J. Arino, R. Sanquirce, J. Pan, A. Vizcarguenaga, and B. Etxeita (2008)
to cmb experiment quijote by ptomico and 1 other user on Dec 23, 2009, 10:19 PM
URL | BibTeX
Achieving Security Despite Compromise Using Zero-knowledge.
Michael Backes, Martin P. Grochulla, Catalin Hritcu, and Matteo Maffei CSF, page 308-323. IEEE Computer Society, (2009)
to dblp by dblp on Dec 11, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100