Number of items: 26.
Backes, Michael and Bendun, Fabian and Choudhury, Ashish and Kate, Aniket
(2014)
Asynchronous MPC with a Strict Honest Majority Using Non-equivocation.
Backes, Michael and Bugiel, Sven and Derr, Erik and Hammer, Christian
(2014)
Taking Android App Vetting to the Next Level with Path-sensitive Value Analysis.
Technical Report.
UNSPECIFIED.
(Unpublished)
Backes, Michael and Bugiel, Sven and Gerling, Sebastian
(2014)
Scippa: System-Centric IPC Provenance on Android.
Backes, Michael and Bugiel, Sven and Gerling, Sebastian and Styp-Rekowsky, Philipp von
(2014)
Android Security Framework: Extensible Multi-Layered Access Control on Android.
Backes, Michael and Clark, Jeremy and Kate, Aniket and Simeonovski, Milivoj and Druschel, Peter
(2014)
BackRef: Accountability in Anonymous Communication Networks.
Backes, Michael and Dagdelen, Özgür and Fischlin, Marc and Gajek, Sebastian and Meiser, Sebastian and Schröder, Dominique
(2014)
Operational Signature Schemes.
IACR Cryptology ePrint Archive, 2014.
p. 820.
Backes, Michael and Gerling, Rainer W. and Gerling, Sebastian and Nürnberger, Stefan and Schröder, Dominique and Simkin, Mark
(2014)
WebTrust - A Comprehensive Authenticity and Integrity Framework for HTTP.
Backes, Michael and Gerling, Sebastian and Lorenz, Stefan and Lukas, Stephan
(2014)
X-pire 2.0 - A User-Controlled Expiration Date and Copy Protection Mechanism.
Backes, Michael and Grimm, Niklas and Kate, Aniket
(2014)
Lime: Data Lineage in the Malicious Environment.
Backes, Michael and Holz, Thorsten and Kollenda, Benjamin and Koppe, Philipp and Nürnberger, Stefan and Pewny, Jannik
(2014)
You Can Run but You Can't Read: Preventing Disclosure Exploits in Executable Code.
Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2014)
Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations.
Journal of Computer Security, 22 (2).
pp. 301-353.
Backes, Michael and Kate, Aniket and Meiser, Sebastian and Mohammadi, Esfandiar
(2014)
(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection.
Backes, Michael and Manoharan, Praveen and Mohammadi, Esfandiar
(2014)
TUC: Time-sensitive and Modular Analysis of Anonymous Communication.
Backes, Michael and Mohammadi, Esfandiar and Ruffing, Tim
(2014)
Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity.
Backes, Michael and Nürnberger, Stefan
(2014)
Oxymoron: Making Fine-Grained Memory Randomization Practical by Allowing Code Sharing.
Brachmann, Niklas
(2014)
Evaluating the Effectiveness of In-app DRM Systems for Android.
Bachelors thesis, Saarland University.
Derr, Erik
(2014)
Verifying the Internet Access of Android Applications.
Masters thesis, Saarland University.
Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014)
Differentially Private Data Aggregation with Optimal Utility.
Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014)
Differentially Private Data Aggregation with Optimal Utility.
Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014)
Privacy-preserving Data Aggregation with Optimal Utility Using Arithmetic SMC -- Extended Abstract.
Endner-Dühr, Frederic
(2014)
Application-level Firewall in Stock Android.
Bachelors thesis, Saarland University.
Frey, Tobias
(2014)
System Centric IPC Call Chains for Android.
Bachelors thesis, Saarland University.
Perlov, Artem
(2014)
Identifying the Optimal Permission Set of Android Applications.
Bachelors thesis, Saarland University.
Reischuk, Raphael M.
(2014)
Declarative Design and Enforcement for Secure Cloud Applications.
Doctoral thesis, Saarland University.
Schweig, Marc
(2014)
Developing a RiskScore for Android Applications.
Bachelors thesis, Saarland University.
Simeonovski, Milivoj
(2014)
Poster: Quasi-ID: In fact, I am a human.
This list was generated on Fri Oct 11 15:59:22 2024 CEST.