Skip to content

David Molnar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

24

Venues

18

Active years

2004–2020

Best venue rank

A*

Where they publish

Papers

24 indexed papers, newest first.

YearVenueTitleAuthors
2020PSDAn Analysis of Different Notions of Effectiveness in k-Anonymity.Tanja Sarcevic, David Molnar, Rudolf Mayer
2016SPPrepose: Privacy, Security, and Reliability for Gesture-Based Programming.Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
2015CSCWA Framework for Understanding and Designing Telepresence.Irene Rae, Gina Venolia, John C. Tang, David Molnar
2015POPLProgram Boosting: Program Synthesis via Crowd-Sourcing.Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
2015POPLData-Parallel String-Manipulating Programs.Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
2015SPSurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser.John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Christopher J. Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal
2014CCSWorld-Driven Access Control for Continuous Sensing.Franziska Roesner, David Molnar, Alexander Moshchuk, Tadayoshi Kohno, Helen J. Wang
2014GICoupling of Existing Simulations using Bottom-up Modeling of Choreographies.Andreas Wei, Dimka Karastoyanova, David Molnar, Siegfried Schmauder
2014PLDIFast: a transducer-based language for tree manipulation.Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2013HotOSOperating System Support for Augmented Reality Applications.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
2012POPLSymbolic finite state transducers: algorithms and applications.Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjrner
2011CCSSCRIPTGARD: automatic context-sensitive sanitization for large-scale legacy web applications.Prateek Saxena, David Molnar, Benjamin Livshits
2011ICSoftWorkflow-based Distributed Environment for Legacy Simulation Applications.Mirko Sonntag, Sven Hotta, Dimka Karastoyanova, David Molnar, Siegfried Schmauder
2011USENIXEnabling Security in Cloud Storage SLAs with CloudProof.Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang
2010NSPWThis is your data on drugs: lessons computer security can learn from the drug war.David Molnar, Serge Egelman, Nicolas Christin
2009CRYPTOShort Chosen-Prefix Collisions for MD5 and the Creation of a Rogue CA Certificate.Marc Stevens, Alexander Sotirov, Jacob Appelbaum, Arjen K. Lenstra, David Molnar, Dag Arne Osvik, Benne de Weger
2007TCCFrom Weak to Strong Watermarking.Nicholas Hopper, David Molnar, David A. Wagner
2006PKCGeneric On-Line/Off-Line Threshold Signatures.Chris Crutchfield, David Molnar, David Turner, David A. Wagner
2006SPTamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract).David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner
2005ASIACRYPTEfficient Designated Confirmer Signatures Without Random Oracles or General Zero-Knowledge Proofs.Craig Gentry, David Molnar, Zulfikar Ramzan
2005ICISCThe Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks.David Molnar, Matt Piotrowski, David Schultz, David A. Wagner
2005WCNCTowards a model of energy complexity for algorithms [mobile wireless applications].Ravi Jain, David Molnar, Zulfikar Ramzan
2005SecureCommSecurity and Privacy Issues in E-passports.Ari Juels, David Molnar, David A. Wagner
2004CCSPrivacy and security in library RFID: issues, practices, and architectures.David Molnar, David A. Wagner