Alex Matrosov (CEO and Founder of Binarly Inc.)
The evolution of program analysis approaches in the era of AI
View More Papers
PISE: Protocol Inference using Symbolic Execution and Automata Learning
Ron Marcovich, Orna Grumberg, Gabi Nakibly (Technion, Israel Institute of Technology)
Read MoreAutomatic Retrieval of Privacy Factors from IoMT Policies: ML...
Nyteisha Bookert, Mohd Anwar (North Carolina Agricultural and Technical State University)
Read MoreTowards Protecting Billions and Billions of Bits on the...
Stephen Herwig (William & Mary)
Read MorePosition Paper: Space System Threat Models Must Account for...
Benjamin Cyr and Yan Long (University of Michigan), Takeshi Sugawara (The University of Electro-Communications), Kevin Fu (Northeastern University)
Read More