Abhik Roychoudhury

Google Scholar ORCID: 0000-0002-7127-1137
11 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/ccs
2024
conf/ndss
Large Language Model guided Protocol Fuzzing.
2023
conf/uss
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations.
2022
conf/uss
Stateful Greybox Fuzzing.
2022
conf/uss
FlowMatrix: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation.
2020
conf/uss
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
2019
conf/ndss
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
Filters
Years:  to