David Molnar

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 12

Top Topics

Sensor Networks

Biometric Template

Privacy Concerns

Top Venues

IEEE Symposium on Security and Privacy

Publications

Manish Bhatt, Sahana Chennabasappa, Yue Li, Cyrus Nikolaidis, Daniel Song, Shengye Wan, Faizan Ahmad, Cornelius Aschermann, Yaohui Chen, Dhaval Kapil, David Molnar, Spencer Whitman, Joshua Saxe
CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Models. CoRR (2024)
Tanja Sarcevic, David Molnar, Rudolf Mayer
An Analysis of Different Notions of Effectiveness in k-Anonymity. PSD (2020)
Thilo Sauter, Albert Treytl, Konrad Diwold, David Molnar, Daniel Lechner, Lukas Krammer, Bernhard Derler, Christian Seidl, Florian Wenig
Getting Fit for the Future: Optimizing Energy Usage in Existing Buildings by Adding Non-Invasive Sensor Networks. ISIE (2018)
Lucas Silva Figueiredo, David Molnar, Margus Veanes, Benjamin Livshits
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Secur. Priv. 15 (2) (2017)
Christina Söderman, Åse Johnsson, Jenny Vikgren, Rauni Rossi Norrlund, David Molnar, Maral Mirzai, Angelica Svalkvist, Lars Gunnar Månsson, Magnus Båth
Detection of pulmonary nodule growth with dose reduced chest tomosynthesis: a human observer study using simulated nodules. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment (2016)
Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming. IEEE Symposium on Security and Privacy (2016)
Karl Koscher, Tadayoshi Kohno, David Molnar
SURROGATES: Enabling Near-Real-Time Dynamic Analyses of Embedded Systems. WOOT (2015)
Irene Rae, Gina Venolia, John C. Tang, David Molnar
A Framework for Understanding and Designing Telepresence. CSCW (2015)
John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Christopher J. Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal
SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser. IEEE Symposium on Security and Privacy (2015)
Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
Data-Parallel String-Manipulating Programs. POPL (2015)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: A Transducer-Based Language for Tree Manipulation. ACM Trans. Program. Lang. Syst. 38 (1) (2015)
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
Program Boosting: Program Synthesis via Crowd-Sourcing. POPL (2015)
Andreas Weiß, Dimka Karastoyanova, David Molnar, Siegfried Schmauder
Coupling of Existing Simulations using Bottom-up Modeling of Choreographies. GI-Jahrestagung (2014)
Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, Alec Wolman
Zero-effort payments: design, deployment, and lessons. UbiComp (2014)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: a transducer-based language for tree manipulation. PLDI (2014)
Franziska Roesner, Tadayoshi Kohno, David Molnar
Security and privacy for augmented reality systems. Commun. ACM 57 (4) (2014)
Franziska Roesner, David Molnar, Alexander Moshchuk, Tadayoshi Kohno, Helen J. Wang
World-Driven Access Control for Continuous Sensing. CCS (2014)
Suman Jana, David Molnar, Alexander Moshchuk, Alan M. Dunn, Benjamin Livshits, Helen J. Wang, Eyal Ofek
Enabling Fine-Grained Permissions for Augmented Reality Applications with Recognizers. USENIX Security Symposium (2013)
Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang
Operating System Support for Augmented Reality Applications. HotOS (2013)
Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner
Symbolic finite state transducers: algorithms and applications. POPL (2012)
Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang
Enabling Security in Cloud Storage SLAs with CloudProof. USENIX Annual Technical Conference (2011)
Mirko Sonntag, Sven Hotta, Dimka Karastoyanova, David Molnar, Siegfried Schmauder
Using Services and Service Compositions to Enable the Distributed Execution of Legacy Simulation Applications. ServiceWave (2011)
Prateek Saxena, David Molnar, Benjamin Livshits
SCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications. CCS (2011)
Mirko Sonntag, Sven Hotta, Dimka Karastoyanova, David Molnar, Siegfried Schmauder
Workflow-based Distributed Environment for Legacy Simulation Applications. ICSOFT (1) (2011)
Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium (2011)
David Molnar, Serge Egelman, Nicolas Christin
This is your data on drugs: lessons computer security can learn from the drug war. NSPW (2010)
David Molnar, Stuart E. Schechter
Self Hosting vs. Cloud Hosting: Accounting for the Security Impact of Hosting in the Cloud. WEIS (2010)
Serge Egelman, David Molnar, Nicolas Christin, Alessandro Acquisti, Cormac Herley, Shriram Krishnamurthi
Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays. WEIS (2010)
David Molnar, Xue Cong Li, David A. Wagner
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. USENIX Security Symposium (2009)
Marc Stevens, Alexander Sotirov, Jacob Appelbaum, Arjen K. Lenstra, David Molnar, Dag Arne Osvik, Benne de Weger
Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate. IACR Cryptol. ePrint Arch. 2009 (2009)
Marc Stevens, Alexander Sotirov, Jacob Appelbaum, Arjen K. Lenstra, David Molnar, Dag Arne Osvik, Benne de Weger
Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate. CRYPTO (2009)
Gene Tsudik, Mike Burmester, Ari Juels, Alfred Kobsa, David Molnar, Roberto Di Pietro, Melanie R. Rieback
RFID security and privacy: long-term research or short-term tinkering? WISEC (2008)
Nicholas Hopper, David Molnar, David A. Wagner
From Weak to Strong Watermarking. TCC (2007)
David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract). IEEE Symposium on Security and Privacy (2006)
Nicholas Hopper, David Molnar, David A. Wagner
From Weak to Strong Watermarking. IACR Cryptol. ePrint Arch. 2006 (2006)
Lea Kissner, David Molnar
Provably Secure Subsitution of Cryptographic Tools. IACR Cryptol. ePrint Arch. 2006 (2006)
David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine. IACR Cryptol. ePrint Arch. 2006 (2006)
Chris Crutchfield, David Molnar, David Turner, David A. Wagner
Generic On-Line/Off-Line Threshold Signatures. Public Key Cryptography (2006)
Chris Crutchfield, David Molnar, David Turner, David A. Wagner
Generic On-Line/Off-Line Threshold Signatures. IACR Cryptol. ePrint Arch. 2005 (2005)
David Molnar, Matt Piotrowski, David Schultz, David A. Wagner
The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. ICISC (2005)
Craig Gentry, David Molnar, Zulfikar Ramzan
Efficient Designated Confirmer Signatures Without Random Oracles or General Zero-Knowledge Proofs. ASIACRYPT (2005)
Ravi Jain, David Molnar, Zulfikar Ramzan
Towards understanding algorithmic factors affecting energy consumption: switching complexity, randomness, and preliminary experiments. DIALM-POMC (2005)
David Molnar, Matt Piotrowski, David Schultz, David A. Wagner
The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. IACR Cryptol. ePrint Arch. 2005 (2005)
David Molnar, Andrea Soppera, David A. Wagner
Privacy for RFID through trusted computing. WPES (2005)
Stark C. Draper, Prakash Ishwar, David Molnar, Vinod M. Prabhakaran, Kannan Ramchandran, Daniel Schonberg, David A. Wagner
An Analysis of Empirical PMF Based Tests for Least Significant Bit Image Steganography. Information Hiding (2005)
Ravi Jain, David Molnar, Zulfikar Ramzan
Towards a model of energy complexity for algorithms [mobile wireless applications]. WCNC (2005)
David Molnar, Andrea Soppera, David A. Wagner
A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. Selected Areas in Cryptography (2005)
David Molnar, Andrea Soppera, David A. Wagner
A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. IACR Cryptol. ePrint Arch. 2005 (2005)
Ari Juels, David Molnar, David A. Wagner
Security and Privacy Issues in E-passports. SecureComm (2005)
Ari Juels, David Molnar, David A. Wagner
Security and Privacy Issues in E-passports. IACR Cryptol. ePrint Arch. 2005 (2005)
Nathan Good, David Molnar, Jennifer M. Urban, Deirdre K. Mulligan, Elizabeth Miles, Laura Quilter, David A. Wagner
Radio frequency Id and privacy with information goods. WPES (2004)
David Molnar, David A. Wagner
Privacy and security in library RFID: issues, practices, and architectures. CCS (2004)
Tony Vila, Rachel Greenstadt, David Molnar
Why we can't be bothered to read privacy policies models of privacy economics as a lemons market. ICEC (2003)
Robert Johnson, David Molnar, Dawn Xiaodong Song, David A. Wagner
Homomorphic Signature Schemes. CT-RSA (2002)
Roger Dingledine, Michael J. Freedman, David Hopwood, David Molnar
A Reputation System to Increase MIX-Net Reliability. Information Hiding (2001)
David Molnar
On patrol: resource allocation, proofs of work, and consequences. XRDS 7 (3) (2001)
David Molnar
Signing electronic contracts. XRDS 7 (1) (2000)
Roger Dingledine, Michael J. Freedman, David Molnar
The Free Haven Project: Distributed Anonymous Storage Service. Workshop on Design Issues in Anonymity and Unobservability (2000)