Browsing by Index of Persons Backes, Michael

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 20
Year of PublicationTitleAuthor(s)Open Access
2014Abstracting cryptographic protocolsMohammadi, Esfandiar
2014Android security framework : enabling generic and extensible access control on AndroidBackes, Michael; Bugiel, Sven; Gerling, Sebastian, et al
2012AppGuard - real-time policy enforcement for third-party applicationsBackes, Michael; Gerling, Sebastian; Hammer, Christian, et al
2013AppGuard — fine-grained policy enforcement for untrusted android applicationsBackes, Michael; Gerling, Sebastian; Hammer, Christian, et al
2017Automated Security Analysis of Web Application TechnologiesSkoruppa, Malte Horst Arthur
2002Cryptographically sound analysis of security protocolsBackes, Michael
2014Declarative design and enforcement for secure cloud applicationsReischuk, Raphael M.
2015Establishing mandatory access control on Android OSBugiel, Sven
2013Formal verification of cryptographic security proofsBerg, Matthias
2016Mitigating the imposition of malicious behaviour on codeNürnberger, Stefan
2019Novel approaches to anonymity and privacy in decentralized, open settingsManoharan, Praveen
2009Novel classes of side channels and covert channelsDürmuth, Markus
2014Plugging in trust and privacy : three systems to improve widely used ecosystemsGerling, Sebastian Rainer
2017Quantifying and mitigating privacy risks in biomedical dataBerrang, Pascal
2016Quantitative anonymity guarantees for TorMeiser, Sebastian Wilhelm Ludwig
2012Rational cryptography: novel constructions, automated verification and unified definitionsCiobotaru, Oana-Mădălina
2014Taking Android app vetting to the next level with path-sensitive value analysisBackes, Michael; Bugiel, Sven; Derr, Erik, et al
2017Understanding and assessing security on Android via static code analysisDerr, Erik
2012Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysisHritcu, Catalin
2015Your choice MATor(s) : large-scale quantitative anonymity assessment of Tor path selection algorithms against structural attacksBackes, Michael; Meiser, Sebastian; Slowik, Marcin