Name Card

Full name Familienname, Vorname
Parno, Bryan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
2Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013