P. Drielsma

Most-cited papers

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

   A. Armando, David A. Basin, Yohan Boichut, Yannick Chevalier +13 more

   2005International Conference on Computer Aided Verification1,469 citations Open access

   Semantic Scholar

   Save

2. Who's viewed you?: the impact of feedback in a mobile location-sharing application

   Janice Y. Tsai, Patrick Gage Kelley, P. Drielsma, L. Cranor +2 more

   2009International Conference on Human Factors in Computing Systems217 citations

   Semantic Scholar

   Save

3. Empirical models of privacy in location sharing

   Eran Toch, Justin Cranshaw, P. Drielsma, Janice Y. Tsai +5 more

   2010Ubiquitous Computing188 citations Open access

   Semantic Scholar

   Save

4. A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

   Yannick Chevalier, L. Compagna, Jorge Cuéllar, P. Drielsma +3 more

   2004177 citations

   Semantic Scholar

   Save

5. A Formalization of Off-Line Guessing for Security Protocol Analysis

   P. Drielsma, S. Mödersheim, Luca Viganò

   2005Logic Programming and Automated Reasoning22 citations

   Semantic Scholar

   Save

6. The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing

   Michael Benisch, Patrick Gage Kelley, N. Sadeh, T. Sandholm +3 more

   2009Symposium On Usable Privacy and Security20 citations

   Semantic Scholar

   Save

7. Who's Viewed You? The Impact of Feedback in a mobile location Sharing System

   Janice Y. Tsai, Patrick Gage Kelley, P. Drielsma, L. Cranor +2 more

   200917 citations

   Semantic Scholar

   Save

8. The ASW Protocol Revisited: A Uni(cid:12)ed View 1

   P. Drielsma, S. Mödersheim

   17 citations

   Semantic Scholar

   Save

9. Formalizing and Analyzing Sender Invariance

   P. Drielsma, S. Mödersheim, Luca Viganò, David A. Basin

   2006USENIX Conference on File and Storage Technologies14 citations Open access

   Semantic Scholar

   Save

10. Who's viewed you?: the impact of feedback in a mobile location-sharing application

    Janice Y. Tsai, Patrick Gage Kelley, P. Drielsma, L. Cranor +2 more

    2009Symposium On Usable Privacy and Security13 citations

    Semantic Scholar

    Save

11. Analyzing use of privacy policy attributes in a location sharing application

    Eran Toch, Ramprasad Ravichandran, L. Cranor, P. Drielsma +4 more

    2009Symposium On Usable Privacy and Security6 citations

    Semantic Scholar

    Save

12. Early intervention home visiting: A preventative model to strengthen isolated families

    P. Drielsma

    1998Children Australia6 citations

    Semantic Scholar

    Save

13. The ASW Protocol Revisited: A Unified View

    P. Drielsma, S. Mödersheim

    2005ARSPA@IJCAR4 citations Open access

    Semantic Scholar

    Save

14. AIDS policy and public health models: an Australian analysis

    P. Drielsma

    19973 citations

    Semantic Scholar

    Save

15. Unpacking the Argument for Universally Designed and Delivered - Early Childhood Services

    P. Drielsma

    20052 citations

    Semantic Scholar

    Save

16. Early intervention home visiting — evaluated and revisited!: Evaluation of a preventative model to strengthen isolated families

    H. Bryce, P. Drielsma

    2002Children Australia1 citations

    Semantic Scholar

    Save

17. Children and Young People First: Relationship, Permanency and Participation

    P. Drielsma

    20021 citations

    Semantic Scholar

    Save

18. Family suport in India: The good, the bad, and the ugly

    P. Drielsma

    20130 citations

    Semantic Scholar

    Save

19. Formalizing and analyzing sender invariance

    P. Drielsma

    20110 citations

    Semantic Scholar

    Save

20. How Much Is too Little?: True Cost, Quality and Out-of-home Care - Putting It all Together

    P. Drielsma

    20080 citations

    Semantic Scholar

    Save

21. Building formal models of next-generation security protocols

    P. Drielsma

    20070 citations

    Semantic Scholar

    Save

22. Size and Growth in the Community Sector - Eyes Wide Open?

    P. Drielsma

    20040 citations

    Semantic Scholar

    Save