Klas Leino
发表
Matt Fredrikson,
Klas Leino,
2019,
USENIX Security Symposium.
Ravi Mangal,
C. Pasareanu,
Matt Fredrikson,
2022,
ICLR.
Matt Fredrikson,
Anupam Datta,
Kaiji Lu,
2020,
ACL.
Bryan Parno,
Ravi Mangal,
C. Pasareanu,
2021,
NSV/FoMLAS@CAV.
Matt Fredrikson,
Klas Leino,
Matt Fredrikson,
2021,
NeurIPS.
Matt Fredrikson,
Klas Leino,
Zifan Wang,
2021,
ICML.
Matt Fredrikson,
Klas Leino,
Shayak Sen,
2018,
ICLR.
Matt Fredrikson,
Kaiqin Hu,
Klas Leino,
2023,
ArXiv.
Klas Leino,
2023,
ArXiv.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2020,
ICLR.
Matt Fredrikson,
Kaiqin Hu,
Klas Leino,
2023,
arXiv.org.
Matt Fredrikson,
Klas Leino,
Zifan Wang,
2021
.
Corina S. Pasareanu,
Bryan Parno,
Matt Fredrikson,
2021,
ArXiv.
Klas Leino,
2021
.
Matt Fredrikson,
Klas Leino,
Emily Black,
2021,
ICLR.
Matt Fredrikson,
Anupam Datta,
Klas Leino,
2023,
2310.09361.
Matt Fredrikson,
Anupam Datta,
Klas Leino,
2018,
2018 IEEE International Test Conference (ITC).