Lenore D. Zuck

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 12

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

IEEE Symposium on Security and Privacy Workshops

Publications

Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
A Case Study in Analytic Protocol Analysis in ACL2. CoRR (2023)
Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck
A Formal Analysis of Karn's Algorithm. NETYS (2023)
Ian A. Kash, Zhongkai Wen, Lenore D. Zuck
Dynamic relocation in ridesharing via fixpoint construction. UAI (2022)
Lenore D. Zuck, Kenneth L. McMillan
Invisible Invariants Are Neither. From Reactive Systems to Cyber-Physical Systems (2019)
Kenneth L. McMillan, Lenore D. Zuck
Formal specification and testing of QUIC. SIGCOMM (2019)
Kenneth L. McMillan, Lenore D. Zuck
Compositional Testing of Internet Protocols. SecDev (2019)
Yiji Zhang, Lenore D. Zuck
Formal Verification of Optimizing Compilers. ICDCIT (2018)
Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf
P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. VMCAI (2018)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From model checking to a temporal proof for partial models: preliminary example. CoRR (2017)
Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi
From Model Checking to a Temporal Proof for Partial Models. SEFM (2017)
Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck
Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. QRS (2016)
Sanjiva Prasad, Lenore D. Zuck
Self-Similarity Breeds Resilience. EXPRESS/SOS (2016)
Yliès Falcone, Lenore D. Zuck
Runtime verification: the application perspective. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck
From Verification to Optimizations. VMCAI (2015)
Lenore D. Zuck, Sanjiva Prasad
A Switch, in Time. TGC (2015)
Lenore D. Zuck, Sanjiva Prasad
Limited Mobility, Eventual Stability. Haifa Verification Conference (2015)
Lenore D. Zuck, Kenneth L. McMillan
Reasoning about Network Topologies in Space. FPS@ETAPS (2014)
Sven Dietrich, Jeroen van der Ham, Aiko Pras, Roland van Rijswijk-Deij, Darren Shou, Anna Sperotto, Aimee van Wynsberghe, Lenore D. Zuck
Ethics in Data Sharing: Developing a Model for Best Practice. IEEE Symposium on Security and Privacy Workshops (2014)
Nazari Skrupsky, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck
TamperProof: a server-agnostic defense for parameter tampering attacks on web applications. CODASPY (2013)
Kedar S. Namjoshi, Lenore D. Zuck
Witnessing Program Transformations. SAS (2013)
Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck
Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness. CSF (2013)
Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck
A Witnessing Compiler: A Proof of Concept. RV (2013)
Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck
WEBLOG: a declarative language for secure web development. PLAS (2013)
Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck
WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications. CyberSecurity (2012)
José M. Fernandez, Andrew S. Patrick, Lenore D. Zuck
Ethical and Secure Data Sharing across Borders. Financial Cryptography Workshops (2012)
Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, Venkat N. Venkatakrishnan, Lenore D. Zuck
Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications. WebApps (2012)
Yliès Falcone, Lenore D. Zuck
Runtime Verification: The Application Perspective. ISoLA (1) (2012)
Ahmed Bouajjani, David Harel, Lenore D. Zuck
Editorʼs foreword. J. Comput. Syst. Sci. 78 (3) (2012)
Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
Verification of multi-linked heaps. J. Comput. Syst. Sci. 78 (3) (2012)
Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck
On Policies and Intents. ICISS (2012)
Kenneth L. McMillan, Lenore D. Zuck
Invisible Invariants and Abstract Interpretation. SAS (2011)
Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
Parallelizing a Symbolic Compositional Model-Checking Algorithm. Haifa Verification Conference (2010)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Proving the Refuted: Symbolic Model Checkers as Proof Generators. Concurrency, Compositionality, and Correctness (2010)
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck
Jtlv: A Framework for Developing Verification Algorithms. CAV (2010)
Kenneth L. McMillan, Lenore D. Zuck
Abstract Counterexamples for Non-disjunctive Abstractions. RP (2009)
Ariel Cohen, Ron van der Meyden, Lenore D. Zuck
Access Control and Information Flow in Transactional Memory. Formal Aspects in Security and Trust (2008)
Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh
Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. MEMOCODE (2008)
Ariel Cohen, Amir Pnueli, Lenore D. Zuck
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. CAV (2008)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Modular Ranking Abstraction. Int. J. Found. Comput. Sci. 18 (1) (2007)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference (2007)
Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck
Verifying Correctness of Transactional Memories. FMCAD (2007)
Yi Fang, Lenore D. Zuck
Improved Invariant Generation for Tvoc. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Shape Analysis of Single-Parent Heaps. VMCAI (2007)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Invisible Safety of Distributed Protocols. ICALP (2) (2006)
A. Prasad Sistla, Min Zhou, Lenore D. Zuck
Monitoring Off-the-Shelf Components. VMCAI (2006)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with invisible ranking. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
Liveness by Invisible Invariants. FORTE (2006)
Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck
Monitoring Interfaces for Faults. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
Translation and Run-Time Validation of Loop Transformations. Formal Methods Syst. Des. 27 (3) (2005)
Cory Plock, Benjamin Goldberg, Lenore D. Zuck
From Requirements to Specifications. ECBS (2005)
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)
Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
TVOC: A Translation Validator for Optimizing Compilers. CAV (2005)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Ranking Abstraction as Companion to Predicate Abstraction. FORTE (2005)
Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
IIV: An Invisible Invariant Verifier. CAV (2005)
Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
Taming Interface Specifications. CONCUR (2005)
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
Shape Analysis by Predicate Abstraction. VMCAI (2005)
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
The faithfulness of abstract protocol analysis: Message authentication. J. Comput. Secur. 12 (6) (2004)
Lenore D. Zuck, Amir Pnueli
Model checking and abstraction to the aid of parameterized systems (a survey). Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Lenore D. Zuck
Special issue of VMCAI'03. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with Invisible Ranking. VMCAI (2004)
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
Liveness with Incomprehensible Ranking. TACAS (2004)
Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
Preface by the section editors. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Amir Pnueli, Lenore D. Zuck
Model-Checking and Abstraction to the Aid of Parameterized Systems. VMCAI (2003)
Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg
VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. Univers. Comput. Sci. 9 (3) (2003)
Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
Run-Time Validation of Speculative Optimizations using CVC. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Tamarah Arons, Amir Pnueli, Lenore D. Zuck
Parameterized Verification by Probabilistic Abstraction. FoSSaCS (2003)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
VOC: A Translation Validator for Optimizing Compilers. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
Translation and Run-Time Validation of Optimized Code. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Lenore D. Zuck, Amir Pnueli, Yonit Kesten
Automatic Verification of Probabilistic Free Choice. VMCAI (2002)
Amir Pnueli, Jessie Xu, Lenore D. Zuck
Liveness with (0, 1, infty)-Counter Abstraction. CAV (2002)
Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
Network Invariants in Action. CONCUR (2002)
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
The faithfulness of abstract protocol analysis: message authentication. CCS (2001)
Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck
Automatic Deductive Verification with Invisible Invariants. TACAS (2001)
Doron A. Peled, Lenore D. Zuck
From Model Checking to a Temporal Proof. SPIN (2001)
Doron A. Peled, Amir Pnueli, Lenore D. Zuck
From Falsification to Verification. FSTTCS (2001)
Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
Parameterized Verification with Automatically Computed Inductive Assertions. CAV (2001)
David Gelernter, Lenore D. Zuck
On What Linda Is: Formal Description of Linda as a Reactive System. COORDINATION (1997)
Jeffery R. Westbrook, Lenore D. Zuck
Adaptive Algorithms for PASO Systems. PODC (1994)
Nicholas Carriero, David Gelernter, Lenore D. Zuck
Bauhaus Linda. ECOOP Workshop (1994)
Yehuda Afek, Hagit Attiya, Alan D. Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck
Reliable Communication Over Unreliable Channels. J. ACM 41 (6) (1994)
A. Prasad Sistla, Lenore D. Zuck
Reasoning in a Restricted Temporal Logic Inf. Comput. 102 (2) (1993)
Amir Pnueli, Lenore D. Zuck
In and Out of Temporal Logic LICS (1993)
Amir Pnueli, Lenore D. Zuck
Probabilistic Verification Inf. Comput. 103 (1) (1993)
Henri B. Weinberg, Lenore D. Zuck
Timed Ethernet: Real-Time Formal Specification of Ethernet. CONCUR (1992)
Joseph Y. Halpern, Lenore D. Zuck
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. J. ACM 39 (3) (1992)
Nick Reingold, Da-Wei Wang, Lenore D. Zuck
Games I/O Automata Play (Extended Abstract). CONCUR (1992)
A. Prasad Sistla, Lenore D. Zuck
Automatic Temporal Verification of Buffer Systems. CAV (1991)
Da-Wei Wang, Lenore D. Zuck
Real-Time Sequence Transmission Problem. PODC (1991)
Da-Wei Wang, Lenore D. Zuck
Tight Bounds for the Sequence Transmission Problem. PODC (1989)
Michael J. Fischer, Lenore D. Zuck
Reasoning about Uncertainty in Fault-tolerant Distributed Systems. FTRTFT (1988)
A. Prasad Sistla, Lenore D. Zuck
On the Eventuality Operator in Temporal Logic LICS (1987)
Amir Pnueli, Lenore D. Zuck
Verification of Multiprocess Probabilistic Protocols. Distributed Comput. 1 (1) (1986)
Amir Pnueli, Lenore D. Zuck
Probabilistic Verification by Tableaux LICS (1986)
Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck
The Glory of the Past. Logic of Programs (1985)
Amir Pnueli, Lenore D. Zuck
Verification of Multiprocess Probabilistic Protocols. PODC (1984)