Stephan A Zdancewic
California University of Pennsylvania(US)
Publications by Year
Research Areas
Security and Verification in Computing, Logic, programming, and type systems, Access Control and Trust, Advanced Malware Detection Techniques, Distributed systems and fault tolerance
Most-Cited Works
- Programming languages for information security(2002)
- Dynamic updating of information-flo w policies(2005)
- Unifying Confidentiality and Integrity in Downgrading Policies(2005)
- → Counterfactual Explanations for Natural Language Interfaces(2022)6 cited
- AURA: Preliminary Technical Results(2008)
- Concise Concrete Syntax(2008)
- Evidence-Based Audit, Technical Appendix(2008)
- Encoding Information Flow in AURA, Technical Appendix(2009)
- Dynamic security policies(2007)
- Synthesizing Video Trajectory Queries(2021)