William Robertson

18 papers A* 4A 10Journal 2Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Enumerative Embedding of the Python Type System in ACL2s. ACL2 Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter, William Robertson
2022	J	`jnl`	Attacking Neural Binary Function Detection. CoRR Joshua Bundt, Michael Davinroy, Ioannis Agadakos, Alina Oprea, William Robertson
2022	J	`jnl`	HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. ACM Trans. Priv. Secur. William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
2021	A	`conf`	Bypassing memory safety mechanisms through speculative control flow hijacks. EuroS&P Andrea Mambretti, Alexandra Sandulescu, Alessandro Sorniotti, William Robertson, Engin Kirda, Anil Kurmus
2021	A	`conf`	Evaluating Synthetic Bugs. AsiaCCS Joshua Bundt, Andrew Fasano, Brendan Dolan-Gavitt, William Robertson, Tim Leek
2021	A	`conf`	SoK: Enabling Security Analyses of Embedded Systems via Rehosting. AsiaCCS Andrew Fasano, Tiemoko Ballo, Marius Muench, Tim Leek, Alexander Bulekov, Brendan Dolan-Gavitt, Manuel Egele, Aurélien Francillon, Long Lu, Nick Gregory, Davide Balzarotti, William Robertson
2020	A*	`conf`	Cached and Confused: Web Cache Deception in the Wild. USENIX Security Symposium Seyed Ali Mirheidari, Sajjad Arshad, Kaan Onarlioglu, Bruno Crispo, Engin Kirda, William Robertson
2020	A*	`conf`	HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing. NDSS William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele
2020	A	`conf`	What's in an Exploit? An Empirical Analysis of Reflected Server XSS Exploitation Techniques. RAID Ahmet Salih Buyukkayhan, Can Gemicioglu, Tobias Lauinger, Alina Oprea, William Robertson, Engin Kirda
2019	A	`conf`	USBESAFE: An End-Point Solution to Protect Against USB-Based Attacks. RAID Amin Kharraz, Brandon L. Daley, Graham Z. Baker, William Robertson, Engin Kirda
2017	A*	`conf`	Game of Registrars: An Empirical Analysis of Post-Expiration Domain Name Takeovers. USENIX Security Symposium Tobias Lauinger, Abdelberi Chaabane, Ahmet Salih Buyukkayhan, Kaan Onarlioglu, William Robertson
2017	A*	`conf`	Thou Shalt Not Depend on Me: Analysing the Use of Outdated JavaScript Libraries on the Web. NDSS Tobias Lauinger, Abdelberi Chaabane, Sajjad Arshad, William Robertson, Christo Wilson, Engin Kirda
2016	A	`conf`	Identifying Extension-Based Ad Injection via Fine-Grained Web Content Provenance. RAID Sajjad Arshad, Amin Kharraz, William Robertson
2016	—	`conf`	Include Me Out: In-Browser Detection of Malicious Third-Party Content Inclusions. Financial Cryptography Sajjad Arshad, Amin Kharraz, William Robertson
2016	A	`conf`	Overhaul: Input-Driven Access Control for Better Privacy on Traditional Operating Systems. DSN Kaan Onarlioglu, William Robertson, Engin Kirda
2016	A	`conf`	Trellis: Privilege Separation for Multi-user Applications Made Easy. RAID Andrea Mambretti, Kaan Onarlioglu, Collin Mulliner, William Robertson, Engin Kirda, Federico Maggi, Stefano Zanero
2016	A	`conf`	WHOIS Lost in Translation: (Mis)Understanding Domain Name Expiration and Re-Registration. Internet Measurement Conference Tobias Lauinger, Kaan Onarlioglu, Abdelberi Chaabane, William Robertson, Engin Kirda
2012	A	`conf`	TRESOR-HUNT: attacking CPU-bound encryption. ACSAC Erik-Oliver Blass, William Robertson