Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

HYDRA: hybrid design for remote attestation (using a formally verified microkernel)., , and . WISEC, page 99-110. ACM, (2017)Brief announcement: a flexible framework for secret handshakes., and . PODC, page 39. ACM, (2005)Security and privacy in unattended sensor networks.. AINTEC, page 7. ACM, (2008)Privacy-Preserving Location-Based On-Demand Routing in MANETs., and . IEEE J. Sel. Areas Commun., 29 (10): 1926-1934 (2011)Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion., and . WiSec, page 45-48. ACM, (2019)Efficient Techniques for Privacy-Preserving Sharing of Sensitive Information., , and . TRUST, volume 6740 of Lecture Notes in Computer Science, page 239-253. Springer, (2011)Robust and Secure Password and Key Change Method., , , , and . ESORICS, volume 875 of Lecture Notes in Computer Science, page 107-122. Springer, (1994)Signature Bouquets: Immutability for Aggregated/Condensed Signatures., , and . ESORICS, volume 3193 of Lecture Notes in Computer Science, page 160-176. Springer, (2004)Authentication of Outsourced Databases Using Signature Aggregation and Chaining., and . DASFAA, volume 3882 of Lecture Notes in Computer Science, page 420-436. Springer, (2006)Identity-Based Access Control for Ad Hoc Groups., , and . ICISC, volume 3506 of Lecture Notes in Computer Science, page 362-379. Springer, (2004)