Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. Drielsma, P. Héam, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. CAV, volume 3576 of Lecture Notes in Computer Science, page 281-285. Springer, (2005)

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.

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

Other publications of authors with the same name

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. Drielsma, P. Héam, O. Kouchnarenko, J. Mantovani and 7 other author(s). CAV, volume 3576 of Lecture Notes in Computer Science, page 281-285. Springer, (2005)The ASW Protocol Revisited: A Unified View.P. Drielsma, and S. Mödersheim. Electron. Notes Theor. Comput. Sci., 125 (1): 145-161 (2005)Locaccino: a privacy-centric location sharing application.E. Toch, J. Cranshaw, P. Drielsma, J. Springfield, P. Kelley, L. Cranor, J. Hong, and N. Sadeh. UbiComp (Adjunct Papers), page 381-382. ACM, (2010)User-controllable learning of security and privacy policies.P. Kelley, P. Drielsma, N. Sadeh, and L. Cranor. AISec, page 11-18. ACM, (2008)Analyzing use of privacy policy attributes in a location sharing application.E. Toch, R. Ravichandran, L. Cranor, P. Drielsma, J. Hong, P. Kelley, N. Sadeh, and J. Tsai. SOUPS, ACM, (2009)Formalizing and Analyzing Sender Invariance.P. Drielsma, S. Mödersheim, L. Viganò, and D. Basin. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 80-95. Springer, (2006)Empirical models of privacy in location sharing.E. Toch, J. Cranshaw, P. Drielsma, J. Tsai, P. Kelley, J. Springfield, L. Cranor, J. Hong, and N. Sadeh. UbiComp, page 129-138. ACM, (2010)The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing.M. Benisch, P. Kelley, N. Sadeh, T. Sandholm, J. Tsai, L. Cranor, and P. Drielsma. SOUPS, ACM, (2009)Who's viewed you?: the impact of feedback in a mobile location-sharing application.J. Tsai, P. Kelley, P. Drielsma, L. Cranor, J. Hong, and N. Sadeh. CHI, page 2003-2012. ACM, (2009)A Formalization of Off-Line Guessing for Security Protocol Analysis.P. Drielsma, S. Mödersheim, and L. Viganò. LPAR, volume 3452 of Lecture Notes in Computer Science, page 363-379. Springer, (2004)

PUMA

Disambiguation of "Drielsma, Paul Hankes"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

Please choose a person to relate this publication to

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Drielsma, Paul Hankes"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

Please choose a person to relate this publication to

PD Dr. Simon Paulus University of Stuttgart

Prof. Dr. Paul Keller University of Stuttgart

Paul Betz University of Stuttgart

Moritz Paul University of Stuttgart

Kerstin Paul University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.