3 papers
cs.CR2020
liOS: Lifting iOS apps for fun and profit
Julian Schütte, Dennis Titze
Although iOS is the second most popular mobile operating system and is often considered the more secure one, approaches to automatically analyze iOS applications are scarce and gen…
cs.CR2019
ZKlaims: Privacy-preserving Attribute-based Credentials using Non-interactive Zero-knowledge Techniques
Martin Schanzenbach, Thomas Kilian, Julian Schütte +1
In this paper we present ZKlaims: a system that allows users to present attribute-based credentials in a privacy-preserving way. We achieve a zero-knowledge property on the basis o…
cs.CR2019
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Konrad Weiss, Julian Schütte
Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deploye…