7 citations · 8 across the 3 of their papers we have counts for
6 papers
Building Embedded Systems Like It's 1996
Ruotong Yu, Francesca Del Nin, Yuchen Zhang +6
Embedded devices are ubiquitous. However, preliminary evidence shows that attack mitigations protecting our desktops/servers/phones are missing in embedded devices, posing a signif…
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch +4
There is increasing interest in applying verification tools to programs that have bitvector operations (eg., binaries). SMT solvers, which serve as a foundation for these tools, ha…
Towards Optimal Use of Exception Handling Information for Function Detection
Chengbin Pang, Ruotong Yu, Dongpeng Xu +3
Function entry detection is critical for security of binary code. Conventional methods heavily rely on patterns, inevitably missing true functions and introducing errors. Recently,…
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask
Chengbin Pang, Ruotong Yu, Yaohui Chen +4
Disassembly of binary code is hard, but necessary for improving the security of binary software. Over the past few decades, research in binary disassembly has produced many tools a…
Redirect2Own: Protecting the Intellectual Property of User-uploaded Content through Off-site Indirect Access
Georgios Kontaxis, Angelos D. Keromytis, Georgios Portokalidis
Social networking services have attracted millions of users, including individuals, professionals, and companies, that upload massive amounts of content, such as text, pictures, an…
Hands-Free One-Time and Continuous Authentication Using Glass Wearable Devices
Dimitrios Damopoulos, Georgios Portokalidis
Users with limited use of their hands, such as people suffering from disabilities of the arm, shoulder, and hand (DASH), face challenges when authenticating with computer terminals…