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

CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection., and . CoRR, (2015)Influence-Directed Explanations for Deep Convolutional Networks., , , , and . ITC, page 1-8. IEEE, (2018)A derivation system and compositional logic for security protocols., , , and . J. Comput. Secur., 13 (3): 423-482 (2005)Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords., , , and . NDSS, The Internet Society, (2015)SoK: Differential Privacy as a Causal Property., , and . SP, page 354-371. IEEE, (2020)Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size., , , and . IEEE Symposium on Security and Privacy, page 365-379. IEEE Computer Society, (2010)Abstracting Influence Paths for Explaining (Contextualization of) BERT Models., , , and . CoRR, (2020)The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy., , , and . FOCS, page 410-419. IEEE Computer Society, (2012)Accountability in cyber-physical systems., , , and . SOSCYPS@CPSWeek, page 1-3. IEEE Computer Society, (2016)A Logic of Programs with Interface-Confined Code., , , and . CSF, page 512-525. IEEE Computer Society, (2015)