☰

Stephan A. Zdancewic - Publications

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Networks: Security and Privacy, Theory: Programming Languages and Program Analysis
Tree Info Similar researchers PubMed Report error

15 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Appel AW, Beringer L, Chlipala A, Pierce BC, Shao Z, Weirich S, Zdancewic S. Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375. PMID 28871056 DOI: 10.1098/Rsta.2016.0331  0.325
2015 Rand R, Zdancewic S. VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs Electronic Notes in Theoretical Computer Science. 319: 351-367. DOI: 10.1016/J.Entcs.2015.12.021  0.4
2013 Nagarakatte S, Martin MMK, Zdancewic S. Hardware-enforced comprehensive memory safety Ieee Micro. 33: 38-47. DOI: 10.1109/Mm.2013.26  0.383
2013 Zdancewic S. A Type System for Robust Declassification Electronic Notes in Theoretical Computer Science. 83: 263-277. DOI: 10.1016/S1571-0661(03)50014-7  0.533
2010 Li P, Zdancewic S. Arrows for secure information flow Theoretical Computer Science. 411: 1974-1994. DOI: 10.1016/J.Tcs.2010.01.025  0.564
2009 Allen J, Ariola Z, Curien PL, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S. An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3. DOI: 10.1145/1816027.1816029  0.387
2009 Jia L, Zdancewic S. Encoding information flow in AURA Acm Sigplan Notices. 44: 7-19. DOI: 10.1145/1667209.1667222  0.536
2009 Jia L, Zdancewic S. Encoding information flow in AURA (abstract only) Sigplan Notices. 44: 4-4. DOI: 10.1145/1667209.1667213  0.533
2008 Degano P, Küsters R, Viganò L, Zdancewic S. Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06) Information and Computation. 206: 129. DOI: 10.1016/J.Ic.2007.11.003  0.391
2007 Tse S, Zdancewic S. Run-time principals in information-flow type systems Acm Transactions On Programming Languages and Systems. 30: 6. DOI: 10.1145/1290520.1290526  0.545
2006 Myers AC, Sabelfeld A, Zdancewic S. Enforcing robust declassification and qualified robustness Journal of Computer Security. 14: 157-196. DOI: 10.3233/Jcs-2006-14203  0.417
2006 Ligatti J, Walker D, Zdancewic S. A type-theoretic interpretation of pointcuts and advice Science of Computer Programming. 63: 240-266. DOI: 10.1016/J.Scico.2006.01.004  0.424
2003 Sammapun U, Sharykin R, DeLap M, Kim M, Zdancewic S. Formalizing java-MaC Electronic Notes in Theoretical Computer Science. 89: 175-194. DOI: 10.1016/S1571-0661(04)81048-X  0.422
2002 Zdancewic S, Zheng L, Nystrom N, Myers AC. Secure Program Partitioning Acm Transactions On Computer Systems. 20: 283-328. DOI: 10.1145/566340.566343  0.496
2000 Grossman D, Morrisett G, Zdancewic S. Syntactic type abstraction Acm Transactions On Programming Languages and Systems. 22: 1037-1080. DOI: 10.1145/371880.371887  0.418
Show low-probability matches.