Dr. Zhiqiang Lin (Distinguished Professor of Engineering at The Ohio State University)
Unlocking the Potential of Domain Aware Binary Analysis in the Era of IoT
View More Papers
Formally Verified Software Update Management System in Automotive
Jaewan Seo, Jiwon Kwak, Seungjoo Kim (Korea University)
Read MoreFinding 1-Day Vulnerabilities in Trusted Applications using Selective Symbolic...
Marcel Busch (Friedrich-Alexander-Universität Erlangen-Nürnberg), Kalle Dirsch (Friedrich-Alexander-Universität Erlangen-Nürnberg)
Read MoreCryptographic Oracle-based Conditional Payments
Varun Madathil (North Carolina State University), Sri Aravinda Krishnan Thyagarajan (NTT Research), Dimitrios Vasilopoulos (IMDEA Software Institute), Lloyd Fournier (None), Giulio Malavolta (Max Planck Institute for Security and Privacy), Pedro Moreno-Sanchez (IMDEA Software Institute)
Read More