Statistics
Publications
7
Citations
951
H-Index
7
Active since
1997
Affiliations
Stanford University(Current)
Ulrich Stern is an author at Stanford University specializing in computer science, computing, and security protocol verification.
Publications per year
1997–2002
7
7
Automated analysis of cryptographic protocols using Murφ
John C. Mitchell, Murray Mitchell, Ulrich Stern · 2002 · 479 citations
Finite-state analysis of SSL 3.0
John C. Mitchell, Vitaly Shmatikov, Ulrich Stern · 1998 · 159 citations
Parallelizing the Murphi Verifier
Ulrich Stern, David L. Dill · Computer Aided Verification · 1997 · 135 citations
D.Y.W. Park, Ulrich Stern, David L. Dill · 2000 · 74 citations
Efficient finite-state analysis for large security protocols
Vitaly Shmatikov, Ulrich Stern · 2002 · 48 citations
1–5 of 7