@inproceedings{skrupsky2013tamperproof,
title = {TamperProof: a server-agnostic defense for parameter tampering attacks on web applications},
author = {Skrupsky, Nazari and Bisht, Prithvi and Hinrichs, Timothy and Venkatakrishnan, VN and Zuck, Lenore},
booktitle = {Proceedings of the third ACM conference on Data and application security and privacy},
pages = {129--140},
year = {2013},
organization = {ACM}
}
@incollection{namjoshi2013witnessing,
title = {Witnessing Program Transformations},
author = {Namjoshi, Kedar S and Zuck, Lenore D},
booktitle = {Static Analysis},
pages = {304--323},
year = {2013},
publisher = {Springer}
}
@inproceedings{hinrichs2013weblog,
title = {WEBLOG: a declarative language for secure web development},
author = {Hinrichs, Timothy L and Rossetti, Daniele and Petronella, Gabriele and Venkatakrishnan, VN and Sistla, A Prasad and Zuck, Lenore D},
booktitle = {Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security},
pages = {59--70},
year = {2013},
organization = {ACM}
}
@inproceedings{csf2013,
title = {Application-Sensitive Access Control Evaluation using Parameterized Expressiveness},
author = {Timothy Hinrichs and Diego Martinoia and William C. Garrison III and Adam Lee and Alessandro Panebianco and Lenore Zuck},
booktitle = {CSF2013},
publisher = {ACM},
year = {2013}
}
@inproceedings{rv2013,
title = {A Witnessing Compiler: A proof of Concept},
author = {Kedar S. Namjohsi and Giacomo Tagliabue and Lenore D Zuck},
booktitle = {RV2013},
year = {2013},
note = {To Appear}
}
@inproceedings{secureware2013,
title = {CAVEAT: Facilitating Interactive and Secure Client-Side Validators for Ruby on Rails Applications},
author = {Timothy Hinrichs and Michael Cueno and Daniel Ruiz and V. N. Venkatkrishnana and Lenore D. Zuck},
booktitle = {SECUREWARE2013},
year = {2013}
}
@article{DBLP:journals/jcss/BalabanPSZ12,
author = {Ittai Balaban and
Amir Pnueli and
Yaniv Sa'ar and
Lenore D. Zuck},
title = {Verification of multi-linked heaps},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
year = {2012},
pages = {853-876},
ee = {http://dx.doi.org/10.1016/j.jcss.2011.08.003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/fc/FernandezPZ12,
author = {Jos{\'e} M. Fernandez and
Andrew S. Patrick and
Lenore D. Zuck},
title = {Ethical and Secure Data Sharing across Borders},
booktitle = {Financial Cryptography Workshops},
year = {2012},
pages = {136-140},
ee = {http://dx.doi.org/10.1007/978-3-642-34638-5_13},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/iciss/BoltonWZ12,
author = {Matthew L. Bolton and
Celeste M. Wallace and
Lenore D. Zuck},
title = {On Policies and Intents},
booktitle = {ICISS},
year = {2012},
pages = {104-118},
ee = {http://dx.doi.org/10.1007/978-3-642-35130-3_8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/isola/FalconeZ12,
author = {Yli{\`e}s Falcone and
Lenore D. Zuck},
title = {Runtime Verification: The Application Perspective},
booktitle = {ISoLA (1)},
year = {2012},
pages = {284-291},
ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_21},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/McMillanZ11,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
title = {Invisible Invariants and Abstract Interpretation},
booktitle = {SAS},
year = {2011},
pages = {249-262},
ee = {http://dx.doi.org/10.1007/978-3-642-23702-7_20},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/birthday/BalabanPZ10,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
title = {Proving the Refuted: Symbolic Model Checkers as Proof Generators},
booktitle = {Concurrency, Compositionality, and Correctness},
year = {2010},
pages = {221-236},
ee = {http://dx.doi.org/10.1007/978-3-642-11512-7_14},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cav/PnueliSZ10,
author = {Amir Pnueli and
Yaniv Sa'ar and
Lenore D. Zuck},
title = {{JTLV}: A Framework for Developing Verification Algorithms},
booktitle = {CAV},
year = {2010},
pages = {171-174},
ee = {http://dx.doi.org/10.1007/978-3-642-14295-6_18},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/hvc/CohenNSZK10,
author = {Ariel Cohen and
Kedar S. Namjoshi and
Yaniv Sa'ar and
Lenore D. Zuck and
Katya I. Kisyova},
title = {Parallelizing a Symbolic Compositional Model-Checking Algorithm},
booktitle = {Haifa Verification Conference},
year = {2010},
pages = {46-59},
ee = {http://dx.doi.org/10.1007/978-3-642-19583-9_9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{lichtenstein1985glory,
title = {The glory of the past},
author = {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore},
year = {1985},
publisher = {Springer}
}
@incollection{pnueli2001automatic,
title = {Automatic deductive verification with invisible invariants},
author = {Pnueli, Amir and Ruah, Sitvanit and Zuck, Lenore},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
pages = {82--97},
year = {2001},
publisher = {Springer}
}
@inproceedings{arons2001parameterized,
title = {Parameterized Verification with Automatically Computed Inductive Assertions?},
author = {Arons, Tamarah and Pnueli, Amir and Ruah, Sitvanit and Xu, Ying and Zuck, Lenore},
booktitle = {Computer Aided Verification},
pages = {221--234},
year = {2001},
organization = {Springer}
}
@inproceedings{pnueli2002liveness,
title = {Liveness with (0, 1,∞)-counter abstraction},
author = {Pnueli, Amir and Xu, Jessie and Zuck, Lenore},
booktitle = {Computer Aided Verification},
pages = {107--122},
year = {2002},
organization = {Springer}
}
@article{pnueli1986verification,
title = {Verification of multiprocess probabilistic protocols},
author = {Pnueli, Amir and Zuck, Lenore},
journal = {Distributed Computing},
volume = {1},
number = {1},
pages = {53--72},
year = {1986},
publisher = {Springer}
}
@incollection{carriero1995bauhaus,
title = {Bauhaus linda},
author = {Carriero, Nicholas and Gelernter, David and Zuck, Lenore},
booktitle = {Object-based models and languages for concurrent systems},
pages = {66--76},
year = {1995},
publisher = {Springer}
}
@article{pnueli1993probabilistic,
title = {Probabilistic verification},
author = {Pnueli, Amir and Zuck, Lenore D},
journal = {Information and computation},
volume = {103},
number = {1},
pages = {1--29},
year = {1993},
publisher = {Elsevier}
}
@article{halpern1992little,
title = {A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols},
author = {Halpern, Joseph Y and Zuck, Lenore D},
journal = {Journal of the ACM (JACM)},
volume = {39},
number = {3},
pages = {449--478},
year = {1992},
publisher = {ACM}
}
@inproceedings{balaban2005shape,
title = {Shape analysis by predicate abstraction},
author = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Verification, Model Checking, and Abstract Interpretation},
pages = {164--180},
year = {2005},
organization = {Springer}
}
@article{afek1994reliable,
title = {Reliable communication over unreliable channels},
author = {Afek, Yehuda and Attiya, Hagit and Fekete, Alan and Fischer, Michael and Lynch, Nancy and Mansour, Yishay and Wang, Dai-Wei and Zuck, Lenore},
journal = {Journal of the ACM (JACM)},
volume = {41},
number = {6},
pages = {1267--1297},
year = {1994},
publisher = {ACM}
}
@article{zuck2003voc,
title = {Voc: A methodology for the translation validation of optimizingcompilers},
author = {Zuck, Lenore D and Pnueli, Amir and Goldberg, Benjamin},
journal = {J. UCS},
volume = {9},
number = {3},
pages = {223--247},
year = {2003}
}
@article{guttman2004faithfulness,
title = {The faithfulness of abstract protocol analysis: Message authentication},
author = {Guttman, Joshua D and Thayer, F Javier and Zuck, Lenore D},
journal = {Journal of Computer Security},
volume = {12},
number = {6},
pages = {865--891},
year = {2004},
publisher = {IOS Press}
}
@inproceedings{barrett2005tvoc,
title = {TVOC: A translation validator for optimizing compilers},
author = {Barrett, Clark and Fang, Yi and Goldberg, Benjamin and Hu, Ying and Pnueli, Amir and Zuck, Lenore},
booktitle = {Computer Aided Verification},
pages = {291--295},
year = {2005},
organization = {Springer}
}
@article{zuck2002voc,
title = {VOC: A Translation Validator for Optimizing Compilers1 1This research was supported in part by NSF grant CCR-0098299, ONR grant N00014-99-1-0131, and the Minerva Center for Verification of Reactive Systems, a gift from Intel, a grant from the German-Israel Foundation for Scientific Research and Development.},
author = {Zuck, Lenore and Pnueli, Amir and Fang, Yi and Goldberg, Benjamin},
journal = {Electronic notes in theoretical computer science},
volume = {65},
number = {2},
pages = {2--18},
year = {2002},
publisher = {Elsevier}
}
@inproceedings{pnueli1986probabilistic,
title = {Probabilistic verification by tableaux},
author = {Pnueli, Amir and Zuck, Lenore D},
booktitle = {LICS},
pages = {322--331},
year = {1986}
}
@article{zuck1987past,
title = {Past temporal logic},
author = {Zuck, Lenore},
journal = {Ann Arbor},
volume = {1001},
pages = {48106--1346},
year = {1987}
}
@incollection{kesten2002network,
title = {Network invariants in action},
author = {Kesten, Yonit and Pnueli, Amir and Shahar, Elad and Zuck, Lenore},
booktitle = {CONCUR 2002—Concurrency Theory},
pages = {101--115},
year = {2002},
publisher = {Springer}
}
@inproceedings{wang1989tight,
title = {Tight bounds for the sequence transmission problem},
author = {Wang, Da-Wei and Zuck, Lenore D},
booktitle = {Proceedings of the eighth annual ACM Symposium on Principles of distributed computing},
pages = {73--83},
year = {1989},
organization = {ACM}
}
@article{zuck2004model,
title = {Model checking and abstraction to the aid of parameterized systems (a survey)},
author = {Zuck, Lenore and Pnueli, Amir},
journal = {Computer Languages, Systems \& Structures},
volume = {30},
number = {3},
pages = {139--169},
year = {2004},
publisher = {Elsevier}
}
@incollection{peled2001falsification,
title = {From falsification to verification},
author = {Peled, Doron and Pnueli, Amir and Zuck, Lenore},
booktitle = {FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science},
pages = {292--304},
year = {2001},
publisher = {Springer}
}
@article{goldberg2005into,
title = {Into the loops: Practical issues in translation validation for optimizing compilers},
author = {Goldberg, Benjamin and Zuck, Lenore and Barrett, Clark},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {53--71},
year = {2005},
publisher = {Elsevier}
}
@article{zuck2005translation,
title = {Translation and run-time validation of loop transformations},
author = {Zuck, Lenore and Pnueli, Amir and Goldberg, Benjamin and Barrett, Clark and Fang, Yi and Hu, Ying},
journal = {Formal Methods in System Design},
volume = {27},
number = {3},
pages = {335--360},
year = {2005},
publisher = {Springer}
}
@inproceedings{cohen2007verifying,
title = {Verifying correctness of transactional memories},
author = {Cohen, Ariel and O'Leary, John W and Pnueli, Amir and Tuttle, Mark R and Zuck, Lenore D},
booktitle = {Formal Methods in Computer Aided Design, 2007. FMCAD'07},
pages = {37--44},
year = {2007},
organization = {IEEE}
}
@incollection{gelernter1997linda,
title = {On what linda is: Formal description of linda as a reactive system},
author = {Gelernter, David and Zuck, Lenore},
booktitle = {Coordination Languages and Models},
pages = {187--204},
year = {1997},
publisher = {Springer}
}
@incollection{peled2001model,
title = {From model checking to a temporal proof},
author = {Peled, Doron and Zuck, Lenore},
booktitle = {Model Checking Software},
pages = {1--14},
year = {2001},
publisher = {Springer}
}
@inproceedings{fischer1988reasoning,
title = {Reasoning about uncertainty in fault-tolerant distributed systems},
author = {Fischer, Michael J and Zuck, Lenore D},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
pages = {142--158},
year = {1988},
organization = {Springer}
}
@article{zuck2002translation,
title = {Translation and run-time validation of optimized code},
author = {Zuck, Lenore and Pnueli, Amir and Fang, Yi and Goldberg, Benjamin and Hu, Ying},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {4},
pages = {179--200},
year = {2002},
publisher = {Elsevier}
}
@article{sistla1993reasoning,
title = {Reasoning in a restricted temporal logic},
author = {Sistla, A Prasad and Zuck, Lenore D},
journal = {Information and Computation},
volume = {102},
number = {2},
pages = {167--195},
year = {1993},
publisher = {Elsevier}
}
@inproceedings{zuck2001validation,
title = {Validation of optimizing compilers},
author = {Zuck, Lenore and Pnueli, Amir and Leviathan, Raya},
booktitle = {Weizmann Institute of Science},
year = {2001},
organization = {Citeseer}
}
@inproceedings{zuck2002automatic,
title = {Automatic verification of probabilistic free choice},
author = {Zuck, Lenore and Pnueli, Amir and Kesten, Yonit},
booktitle = {Verification, Model Checking, and Abstract Interpretation},
pages = {208--224},
year = {2002},
organization = {Springer}
}
@inproceedings{balaban2007shape,
title = {Shape analysis of single-parent heaps},
author = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Verification, Model Checking, and Abstract Interpretation},
pages = {91--105},
year = {2007},
organization = {Springer}
}
@inproceedings{arons2005formal,
title = {Formal verification of backward compatibility of microcode},
author = {Arons, Tamarah and Elster, Elad and Fix, Limor and Mador-Haim, Sela and Mishaeli, Michael and Shalev, Jonathan and Singerman, Eli and Tiemeyer, Andreas and Vardi, Moshe Y and Zuck, Lenore D},
booktitle = {Computer Aided Verification},
pages = {185--198},
year = {2005},
organization = {Springer}
}
@incollection{fang2004liveness,
title = {Liveness with incomprehensible ranking},
author = {Fang, Yi and Piterman, Nir and Pnueli, Amir and Zuck, Lenore},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
pages = {482--496},
year = {2004},
publisher = {Springer}
}
@inproceedings{weinberg1992timed,
title = {Timed Ethernet: Real-time formal specification of Ethernet},
author = {Weinberg, Henri B and Zuck, Lenore D},
booktitle = {CONCUR'92},
pages = {370--385},
year = {1992},
organization = {Springer}
}
@article{pnueli2006monitoring,
title = {Monitoring interfaces for faults},
author = {Pnueli, Amir and Zaks, Aleksandr and Zuck, Lenore},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {73--89},
year = {2006},
publisher = {Elsevier}
}
@article{balaban2007modular,
title = {Modular ranking abstraction},
author = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore D},
journal = {International Journal of Foundations of Computer Science},
volume = {18},
number = {01},
pages = {5--44},
year = {2007},
publisher = {World Scientific}
}
@inproceedings{pnueli2003parameterized,
title = {Parameterized verification by probabilistic abstraction},
author = {Pnueli, Amir and Zuck, Lenore},
booktitle = {Foundations of Software Science and Computation Structures},
pages = {87--102},
year = {2003},
organization = {Springer}
}
@inproceedings{balaban2005iiv,
title = {IIV: An invisible invariant verifier},
author = {Balaban, Ittai and Fang, Yi and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Computer Aided Verification},
pages = {408--412},
year = {2005},
organization = {Springer}
}
@inproceedings{cohen2008mechanical,
title = {Mechanical verification of transactional memories with non-transactional memory accesses},
author = {Cohen, Ariel and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Computer Aided Verification},
pages = {121--134},
year = {2008},
organization = {Springer}
}
@inproceedings{sistla1992automatic,
title = {Automatic temporal verification of buffer systems},
author = {Sistla, A Prasad and Zuck, Lenore D},
booktitle = {Computer Aided Verification},
pages = {59--69},
year = {1992},
organization = {Springer}
}
@incollection{balaban2005ranking,
title = {Ranking abstraction as companion to predicate abstraction},
author = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Formal Techniques for Networked and Distributed Systems-FORTE 2005},
pages = {1--12},
year = {2005},
publisher = {Springer}
}
@inproceedings{sistla1987eventuality,
title = {On the eventuality operator in temporal logic},
author = {Sistla, A Prasad and Zuck, Lenore D},
booktitle = {LICS},
pages = {153--166},
year = {1987}
}
@incollection{margaria2005taming,
title = {Taming interface specifications},
author = {Margaria, Tiziana and Sistla, A Prasad and Steffen, Bernhard and Zuck, Lenore D},
booktitle = {CONCUR 2005--Concurrency Theory},
pages = {548--561},
year = {2005},
publisher = {Springer}
}
@inproceedings{reingold1992games,
title = {Games I/O automata play},
author = {Reingold, Nick and Wang, Da-Wei and Zuck, Lenore D},
booktitle = {CONCUR'92},
pages = {325--339},
year = {1992},
organization = {Springer}
}
@incollection{fang2006liveness,
title = {Liveness by invisible invariants},
author = {Fang, Yi and McMillan, Kenneth L and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Formal Techniques for Networked and Distributed Systems-FORTE 2006},
pages = {356--371},
year = {2006},
publisher = {Springer}
}
@inproceedings{peuli1993and,
title = {In and out of temporal logic},
author = {Pnueli, A and Zuck, Lenore},
booktitle = {Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on},
pages = {124--135},
year = {1993},
organization = {IEEE}
}
@incollection{balaban2006invisible,
title = {Invisible safety of distributed protocols},
author = {Balaban, Ittai and Pnueli, Amir and Zuck, Lenore D},
booktitle = {Automata, Languages and Programming},
pages = {528--539},
year = {2006},
publisher = {Springer}
}
@inproceedings{wang1991real,
title = {Real-time sequence transmission problem},
author = {Wang, Da-Wei and Zuck, Lenore},
booktitle = {Proceedings of the tenth annual ACM symposium on Principles of distributed computing},
pages = {111--123},
year = {1991},
organization = {ACM}
}
@article{barrett2003run,
title = {Run-Time Validation of Speculative Optimizations using CVC.},
author = {Barrett, Clark and Goldberg, Benjamin and Zuck, Lenore},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {89--107},
year = {2003},
publisher = {Elsevier}
}
@inproceedings{vishwanath2008specification,
title = {Specification and verification of LambdaRAM-a wide-area distributed cache for high performance computing},
author = {Vishwanath, Venkatram and Zuck, Lenore D and Leigh, Jason},
booktitle = {Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on},
pages = {187--198},
year = {2008},
organization = {IEEE}
}
@incollection{mcmillan2011invisible,
title = {Invisible invariants and abstract interpretation},
author = {McMillan, Kenneth L and Zuck, Lenore D},
booktitle = {Static Analysis},
pages = {249--262},
year = {2011},
publisher = {Springer}
}
This file was generated by bibtex2html 1.97.