Session Chair: Kazue Sako COSIC, an imec lab at KU Leuven This talk will offer a perspective on the fast rise of cryptocurrencies based on proof of work, with Bitcoin as most prominent example. In about a decade, a white paper of nine pages has resulted in massive capital investments, a global ecosystem with a … Continued
Automatically Identifying Security Checks for Detecting Kernel Semantic BugsKangjie Lu, Aditya Pakki and Qiushi Wu Uncovering Information Flow Policy Violations in C ProgramsDarion Cassel, Yan Huang and Limin Jia BinEye: Towards Efficient Binary Authorship Characterization Using Deep LearningSaed Alrabaee, El Mouatez Karbab, Lingyu Wang and Mourad Debbabi Static Detection of Uninitialized Stack Variables in Binary … Continued
Finding Flaws from Password Authentication Code in Android AppsSiqi Ma, Elisa Bertino, Robert Deng, Juanru Li, Diet Ostry, Surya Nepal and Sanjay Jha Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic ExecutionYao Yao, Wei Zhou, Yan Jia, Lipeng Zhu, Yuqing Zhang and Peng Liu iCAT: An Interactive Customizable Anonymization ToolMomen Oqaily, Yosr Jarraya, Lingyu … Continued
Session Chair: Peter Ryan Electronic voting aims to achieve the same properties as traditional paper based voting. Even when voters vote from their home, they should be given the same guarantees, without having to trust the election authorities, the voting infrastructure, and/or the Internet network. The two main security goals are vote privacy: no one should know how … Continued
Where to Look for What You See Is What You Sign? User Confusion in Transaction SecurityVincent Haupert and Stephan Gabert On the Security and Applicability of Fragile Camera FingerprintsErwin Quiring, Matthias Kirchner and Konrad Rieck Attacking speaker recognition systems with phoneme morphingHenry Turner, Giulio Lovisotto and Ivan Martinovic Practical Bayesian Poisoning Attacks on Challenge-based Collaborative … Continued