Author of the publication

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks.

, , and . ISSRE Workshops, page 237-242. IEEE, (2020)

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

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring., , , and . Autom. Softw. Eng., 31 (1): 1 (June 2024)bGSL: An imperative language for specification and refinement of backtracking programs., , , , , and . J. Log. Algebraic Methods Program., (2023)Contract Usage and Evolution in Android Mobile Applications., , and . CoRR, (2024)Open and Interactive Learning Resources for Algorithmic Problem Solving., and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 200-208. Springer, (2019)Exploring Automatic Specification Repair in Dafny Programs., , and . ASEW, page 105-112. IEEE, (2023)Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption., , , and . ESORICS Workshops (1), volume 14398 of Lecture Notes in Computer Science, page 199-215. Springer, (2023)Leveraging Large Language Models to Boost Dafny's Developers Productivity., , and . CoRR, (2024)Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks., , and . ISSRE Workshops, page 237-242. IEEE, (2020)Polyglot Code Smell Detection for Infrastructure as Code with GLITCH., , , , and . ASE, page 2042-2045. IEEE, (2023)Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda., , , and . AppFM@FM, volume 349 of EPTCS, page 77-84. (2021)