Name Card
Full name
Familienname, Vorname
Pick, Lauren
Main Affiliation
Organisationszuordnung
Princeton University, USA
Own Publications
Eigene Publikationen
(All)
All
Conference Papers
Show/Hide filters
Access Type
1
Open Access
Author
1
Fedyukovich, Grigory
1
Gupta, Aarti
1
Pick, Lauren
Subject
1
computer-aided system design
Date issued
1
2000 - 2024
Close filters
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Pick, Lauren
; Fedyukovich, Grigory
; Gupta, Aarti
Automating Modular Verification of Secure Information Flow
Konferenzbeitrag
Inproceedings
2020