Media Summary: Tom Chothia Univ. of Birmingham Abstract: We present an extension of the applied pi-calculus that can be used to James Mickens, Harvard University Q: Why Do Keynote Speakers Keep Suggesting That Improving Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ...
Usenix Security 18 Modelling And - Detailed Analysis & Overview
Tom Chothia Univ. of Birmingham Abstract: We present an extension of the applied pi-calculus that can be used to James Mickens, Harvard University Q: Why Do Keynote Speakers Keep Suggesting That Improving Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ... Yuqiong Sun Symantec Research Labs Abstract: Lightweight virtualization (i.e., containers) offers a virtual host environment for ... Nassim Corteggiani EURECOM and Maxim Integrated Abstract: Connected embedded systems are becoming widely deployed, ... Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Philip Daian Cornell Tech, IC3 Abstract: ...
Xuejing Yuan SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Sinisa Matetic ETH Zurich Abstract: We introduce a new concept called brokered delegation. Brokered delegation allows users to ... With Great Training Comes Great Vulnerability: Practical Attacks against Transfer Learning Bolun Wang UC Santa Barbara ... Abeer Alhuzali UIC Distinguished Paper Award Winner View the full Sinisa Matetic ETH Zuric Abstract: We introduce a new concept called brokered delegation. Brokered delegation allows users to ... Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse Sven Bugiel CISPA ...
