Understanding DNS Query Composition at B-Root
Ginesin, Jacob, Mirkovic, Jelena
Published in 2022 IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT) (01.12.2022)
Published in 2022 IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT) (01.12.2022)
Get full text
Conference Proceeding
SafeLLVM: LLVM Without The ROP Gadgets
Cassano, Federico, Bershatsky, Charles, Ginesin, Jacob, Bashenko, Sasha
Year of Publication 10.05.2023
Year of Publication 10.05.2023
Get full text
Journal Article
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Ginesin, Jacob, von Hippel, Max, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Year of Publication 08.03.2024
Year of Publication 08.03.2024
Get full text
Journal Article
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Cassano, Federico, Li, Luisa, Sethi, Akul, Shinn, Noah, Brennan-Jones, Abby, Ginesin, Jacob, Berman, Edward, Chakhnashvili, George, Lozhkov, Anton, Anderson, Carolyn Jane, Guha, Arjun
Year of Publication 10.12.2023
Year of Publication 10.12.2023
Get full text
Journal Article
SafeLLVM: LLVM Without The ROP Gadgets
Cassano, Federico, Bershatsky, Charles, Ginesin, Jacob, Bashenko, Sasha
Published in arXiv.org (02.11.2023)
Get full text
Published in arXiv.org (02.11.2023)
Paper
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Ginesin, Jacob, Max von Hippel, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Published in arXiv.org (08.03.2024)
Get full text
Published in arXiv.org (08.03.2024)
Paper
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
Cassano, Federico, Li, Luisa, Sethi, Akul, Shinn, Noah, Brennan-Jones, Abby, Ginesin, Jacob, Berman, Edward, Chakhnashvili, George, Lozhkov, Anton, Anderson, Carolyn Jane, Guha, Arjun
Published in arXiv.org (20.03.2024)
Get full text
Published in arXiv.org (20.03.2024)
Paper