Skip navigation
DataSpace
About
Contact
Help
Search
Explore
All Communities & Collections
Astrophysical Sciences
Chemical and Biological Engineering
Chemistry
Civil and Environmental Engineering
Department of Geosciences
Department of Slavic Languages and Literatures
Digital Humanities
Education Research Section
Electrical Engineering
Faculty Publications
Geophysical Fluid Dynamics Laboratory
Industrial Relations Section
Lewis-Sigler Institute for Integrative Genomics
Liechtenstein Institute on Self-Determination
Mechanical and Aerospace Engineering
Molecular Biology
Office of Information Technology
Physics
Princeton Neuroscience Institute
Princeton Plasma Physics Laboratory
Princeton School of Public and International Affairs
Princeton University Doctoral Dissertations, 2011-2020
Princeton University Library
Princeton University Undergraduate Senior Theses, 1924-2020
Seeger Center for Hellenic Studies
Login
My DataSpace
Browsing by Subject Verification
Sort by:
title
issue date
author
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 6 of 6
Issue Date
Title
Author(s)
2018
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
Philippe, Sébastien
2013
Assertions for Debugging Parallel Programs
Schwartz-Narbonne, Daniel
2015
Computation Improves Interactive Symbolic Execution
Dodds, Joey
2016
Computer Network Verification and Management using Constraint Solvers
Zhang, Shuyuan
2018
Network Control Plane Synthesis and Verification
Beckett, Ryan
2017
TrustGuard: A Containment Architecture with Verified Output
Ghosh, Soumyadeep