default search action
BibTeX records: David A. Naumann
@inproceedings{DBLP:conf/nfm/NagasamudramBBMN24, author = {Ramana Nagasamudram and Lennart Beringer and Ken Birman and Mae Milano and David A. Naumann}, editor = {Nathaniel Benz and Divya Gopinath and Nija Shi}, title = {Verifying a {C} Implementation of Derecho's Coordination Mechanism Using {VST} and Coq}, booktitle = {{NASA} Formal Methods - 16th International Symposium, {NFM} 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14627}, pages = {99--117}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-60698-4\_6}, doi = {10.1007/978-3-031-60698-4\_6}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/NagasamudramBBMN24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/darts/RamosSANS23, author = {Frederico Ramos and Nuno Sabino and Pedro Ad{\~{a}}o and David A. Naumann and Jos{\'{e}} Fragoso Santos}, title = {Toward Tool-Independent Summaries for Symbolic Execution (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {9}, number = {2}, pages = {07:1--07:4}, year = {2023}, url = {https://doi.org/10.4230/DARTS.9.2.7}, doi = {10.4230/DARTS.9.2.7}, timestamp = {Tue, 11 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/darts/RamosSANS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/CalzavaraN23, author = {Stefano Calzavara and David A. Naumann}, title = {Special issue: 35th {IEEE} Computer Security Symposium - {CSF} 2022}, journal = {J. Comput. Secur.}, volume = {31}, number = {5}, pages = {419--420}, year = {2023}, url = {https://doi.org/10.3233/JCS-230950}, doi = {10.3233/JCS-230950}, timestamp = {Fri, 03 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcs/CalzavaraN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AntonopoulosKLNNN23, author = {Timos Antonopoulos and Eric Koskinen and Ton Chanh Le and Ramana Nagasamudram and David A. Naumann and Minh Ngo}, title = {An Algebra of Alignment for Relational Verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{POPL}}, pages = {573--603}, year = {2023}, url = {https://doi.org/10.1145/3571213}, doi = {10.1145/3571213}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AntonopoulosKLNNN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/MurrayTEN23, author = {Toby Murray and Mukesh Tiwari and Gidon Ernst and David A. Naumann}, editor = {Weizhi Meng and Christian Damsgaard Jensen and Cas Cremers and Engin Kirda}, title = {Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications}, booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2023, Copenhagen, Denmark, November 26-30, 2023}, pages = {1746--1760}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576915.3623141}, doi = {10.1145/3576915.3623141}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/MurrayTEN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/RamosSANS23, author = {Frederico Ramos and Nuno Sabino and Pedro Ad{\~{a}}o and David A. Naumann and Jos{\'{e}} Fragoso Santos}, editor = {Karim Ali and Guido Salvaneschi}, title = {Toward Tool-Independent Summaries for Symbolic Execution}, booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023, July 17-21, 2023, Seattle, Washington, United States}, series = {LIPIcs}, volume = {263}, pages = {24:1--24:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.24}, doi = {10.4230/LIPICS.ECOOP.2023.24}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/RamosSANS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/NagasamudramBN23, author = {Ramana Nagasamudram and Anindya Banerjee and David A. Naumann}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {The WhyRel Prototype for Modular Relational Verification of Pointer Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13994}, pages = {133--151}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30820-8\_11}, doi = {10.1007/978-3-031-30820-8\_11}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/NagasamudramBN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-14314, author = {Ramana Nagasamudram and Anindya Banerjee and David A. Naumann}, title = {The WhyRel Prototype for Relational Verification}, journal = {CoRR}, volume = {abs/2303.14314}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.14314}, doi = {10.48550/ARXIV.2303.14314}, eprinttype = {arXiv}, eprint = {2303.14314}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-14314.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-10045, author = {Ramana Nagasamudram and Anindya Banerjee and David A. Naumann}, title = {Alignment complete relational Hoare logics for some and all}, journal = {CoRR}, volume = {abs/2307.10045}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.10045}, doi = {10.48550/ARXIV.2307.10045}, eprinttype = {arXiv}, eprint = {2307.10045}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-10045.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2309-03442, author = {Toby Murray and Mukesh Tiwari and Gidon Ernst and David A. Naumann}, title = {Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)}, journal = {CoRR}, volume = {abs/2309.03442}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2309.03442}, doi = {10.48550/ARXIV.2309.03442}, eprinttype = {arXiv}, eprint = {2309.03442}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-03442.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BanerjeeNNN22, author = {Anindya Banerjee and Ramana Nagasamudram and David A. Naumann and Mohammad Nikouei}, title = {A Relational Program Logic with Data Abstraction and Dynamic Framing}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {44}, number = {4}, pages = {25:1--25:136}, year = {2022}, url = {https://doi.org/10.1145/3551497}, doi = {10.1145/3551497}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/BanerjeeNNN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-04278, author = {Timos Antonopoulos and Eric Koskinen and Ton Chanh Le and Ramana Nagasamudram and David A. Naumann and Minh Ngo}, title = {An algebra of alignment for relational verification}, journal = {CoRR}, volume = {abs/2202.04278}, year = {2022}, url = {https://arxiv.org/abs/2202.04278}, eprinttype = {arXiv}, eprint = {2202.04278}, timestamp = {Fri, 18 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-04278.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-10338, author = {Anindya Banerjee and Ramana Nagasamudram and David A. Naumann}, title = {Making Relational Hoare Logic Alignment Complete}, journal = {CoRR}, volume = {abs/2212.10338}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.10338}, doi = {10.48550/ARXIV.2212.10338}, eprinttype = {arXiv}, eprint = {2212.10338}, timestamp = {Tue, 03 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-10338.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/NagasamudramN21, author = {Ramana Nagasamudram and David A. Naumann}, title = {Alignment Completeness for Relational Hoare Logics}, booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021}, pages = {1--13}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/LICS52264.2021.9470690}, doi = {10.1109/LICS52264.2021.9470690}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/NagasamudramN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-11730, author = {Ramana Nagasamudram and David A. Naumann}, title = {Alignment Completeness for Relational Hoare Logics}, journal = {CoRR}, volume = {abs/2101.11730}, year = {2021}, url = {https://arxiv.org/abs/2101.11730}, eprinttype = {arXiv}, eprint = {2101.11730}, timestamp = {Sun, 31 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-11730.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/NgoNR20, author = {Minh Ngo and David A. Naumann and Tamara Rezk}, editor = {Shang{-}Wei Lin and Zhe Hou and Brendan P. Mahony}, title = {Type-Based Declassification for Free}, booktitle = {Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore, March 1-3, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12531}, pages = {181--197}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63406-3\_11}, doi = {10.1007/978-3-030-63406-3\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/NgoNR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/Naumann20, author = {David A. Naumann}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12477}, pages = {93--116}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-61470-6\_7}, doi = {10.1007/978-3-030-61470-6\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/Naumann20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwmm/AppelN20, author = {Andrew W. Appel and David A. Naumann}, editor = {Chen Ding and Martin Maas}, title = {Verified sequential Malloc/Free}, booktitle = {{ISMM} '20: 2020 {ACM} {SIGPLAN} International Symposium on Memory Management, {ISMM} 2020, virtual [London, UK], June 16, 2020}, pages = {48--59}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3381898.3397211}, doi = {10.1145/3381898.3397211}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwmm/AppelN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-06421, author = {David A. Naumann}, title = {Thirty-seven years of relational Hoare logic: remarks on its principles and history}, journal = {CoRR}, volume = {abs/2007.06421}, year = {2020}, url = {https://arxiv.org/abs/2007.06421}, eprinttype = {arXiv}, eprint = {2007.06421}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-06421.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/NaumannN19, author = {David A. Naumann and Minh Ngo}, editor = {Pedro Ribeiro and Augusto Sampaio}, title = {Whither Specifications as Programs}, booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP} 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11885}, pages = {39--61}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31038-7\_3}, doi = {10.1007/978-3-030-31038-7\_3}, timestamp = {Wed, 12 Jun 2024 21:04:53 +0200}, biburl = {https://dblp.org/rec/conf/utp/NaumannN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-00922, author = {Minh Ngo and David A. Naumann and Tamara Rezk}, title = {Typed-based Relaxed Noninterference for Free}, journal = {CoRR}, volume = {abs/1905.00922}, year = {2019}, url = {http://arxiv.org/abs/1905.00922}, eprinttype = {arXiv}, eprint = {1905.00922}, timestamp = {Mon, 27 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-00922.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-03557, author = {David A. Naumann}, title = {Whither Programs as Specifications}, journal = {CoRR}, volume = {abs/1906.03557}, year = {2019}, url = {http://arxiv.org/abs/1906.03557}, eprinttype = {arXiv}, eprint = {1906.03557}, timestamp = {Fri, 14 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-03557.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-14560, author = {Anindya Banerjee and Ramana Nagasamudram and David A. Naumann and Mohammad Nikouei}, title = {Data Abstraction and Relational Program Logic}, journal = {CoRR}, volume = {abs/1910.14560}, year = {2019}, url = {http://arxiv.org/abs/1910.14560}, eprinttype = {arXiv}, eprint = {1910.14560}, timestamp = {Fri, 22 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-14560.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BanerjeeNN18, author = {Anindya Banerjee and David A. Naumann and Mohammad Nikouei}, title = {A Logical Analysis of Framing for Specifications with Pure Method Calls}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {40}, number = {2}, pages = {6:1--6:90}, year = {2018}, url = {https://doi.org/10.1145/3174801}, doi = {10.1145/3174801}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/BanerjeeNN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/ChudnovN18, author = {Andrey Chudnov and David A. Naumann}, title = {Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {189--203}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00021}, doi = {10.1109/CSF.2018.00021}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/ChudnovN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AssafNSTT17, author = {Mounir Assaf and David A. Naumann and Julien Signoles and Eric Totel and Fr{\'{e}}d{\'{e}}ric Tronel}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {Hypercollecting semantics and its application to static analysis of information flow}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {874--887}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009889}, doi = {10.1145/3009837.3009889}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AssafNSTT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/LeavensN17, author = {Gary T. Leavens and David A. Naumann}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping}, booktitle = {Engineering Trustworthy Software Systems - Third International School, {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {11174}, pages = {39--88}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-02928-9\_2}, doi = {10.1007/978-3-030-02928-9\_2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setss/LeavensN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/SextonCN17, author = {Julian Sexton and Andrey Chudnov and David A. Naumann}, title = {Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications}, booktitle = {2017 {IEEE} Security and Privacy Workshops, {SP} Workshops 2017, San Jose, CA, USA, May 25, 2017}, pages = {157--162}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/SPW.2017.15}, doi = {10.1109/SPW.2017.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sp/SextonCN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Naumann16, author = {David A. Naumann}, title = {Towards patterns for heaps and imperative lambdas}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {1038--1056}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.10.008}, doi = {10.1016/J.JLAMP.2015.10.008}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Naumann16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/AssafN16, author = {Mounir Assaf and David A. Naumann}, title = {Calculational Design of Information Flow Monitors}, booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon, Portugal, June 27 - July 1, 2016}, pages = {210--224}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/CSF.2016.22}, doi = {10.1109/CSF.2016.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/AssafN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BanerjeeNN16, author = {Anindya Banerjee and David A. Naumann and Mohammad Nikouei}, editor = {Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen}, title = {Relational Logic with Framing and Hypotheses}, booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016, Chennai, India}, series = {LIPIcs}, volume = {65}, pages = {11:1--11:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.11}, doi = {10.4230/LIPICS.FSTTCS.2016.11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BanerjeeNN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LeavensNRA16, author = {Gary T. Leavens and David A. Naumann and Hridesh Rajan and Tomoyuki Aotani}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Specifying and Verifying Advanced Control Features}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9953}, pages = {80--96}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47169-3\_7}, doi = {10.1007/978-3-319-47169-3\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/LeavensNRA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AssafN16, author = {Mounir Assaf and David A. Naumann}, title = {Calculational Design of Information Flow Monitors (extended version)}, journal = {CoRR}, volume = {abs/1605.02778}, year = {2016}, url = {http://arxiv.org/abs/1605.02778}, eprinttype = {arXiv}, eprint = {1605.02778}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AssafN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AssafNSTT16, author = {Mounir Assaf and David A. Naumann and Julien Signoles and Eric Totel and Fr{\'{e}}d{\'{e}}ric Tronel}, title = {Hypercollecting Semantics and its Application to Static Analysis of Information Flow}, journal = {CoRR}, volume = {abs/1608.01654}, year = {2016}, url = {http://arxiv.org/abs/1608.01654}, eprinttype = {arXiv}, eprint = {1608.01654}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AssafNSTT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BanerjeeNN16, author = {Anindya Banerjee and David A. Naumann and Mohammad Nikouei}, title = {Relational Logic with Framing and Hypotheses: Technical Report}, journal = {CoRR}, volume = {abs/1611.08992}, year = {2016}, url = {http://arxiv.org/abs/1611.08992}, eprinttype = {arXiv}, eprint = {1611.08992}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BanerjeeNN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/LeavensN15, author = {Gary T. Leavens and David A. Naumann}, title = {Behavioral Subtyping, Specification Inheritance, and Modular Reasoning}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {37}, number = {4}, pages = {13:1--13:88}, year = {2015}, url = {https://doi.org/10.1145/2766446}, doi = {10.1145/2766446}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/LeavensN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ChudnovN15, author = {Andrey Chudnov and David A. Naumann}, editor = {Indrajit Ray and Ninghui Li and Christopher Kruegel}, title = {Inlined Information Flow Monitoring for JavaScript}, booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, pages = {629--643}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2810103.2813684}, doi = {10.1145/2810103.2813684}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccs/ChudnovN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/utp/2014, editor = {David A. Naumann}, title = {Unifying Theories of Programming - 5th International Symposium, {UTP} 2014, Singapore, May 13, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8963}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-14806-9}, doi = {10.1007/978-3-319-14806-9}, isbn = {978-3-319-14805-2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/utp/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Naumann15, author = {David A. Naumann}, title = {Towards Patterns for Heaps and Imperative Lambdas}, journal = {CoRR}, volume = {abs/1510.05527}, year = {2015}, url = {http://arxiv.org/abs/1510.05527}, eprinttype = {arXiv}, eprint = {1510.05527}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Naumann15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/DupressoirGJN14, author = {Fran{\c{c}}ois Dupressoir and Andrew D. Gordon and Jan J{\"{u}}rjens and David A. Naumann}, title = {Guiding a general-purpose {C} verifier to prove cryptographic protocols}, journal = {J. Comput. Secur.}, volume = {22}, number = {5}, pages = {823--866}, year = {2014}, url = {https://doi.org/10.3233/JCS-140508}, doi = {10.3233/JCS-140508}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/DupressoirGJN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/ChudnovKN14, author = {Andrey Chudnov and George Kuan and David A. Naumann}, title = {Information Flow Monitoring as Abstract Interpretation for Relational Logic}, booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna, Austria, 19-22 July, 2014}, pages = {48--62}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CSF.2014.12}, doi = {10.1109/CSF.2014.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/ChudnovKN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/BanerjeeN14, author = {Anindya Banerjee and David A. Naumann}, editor = {Dimitra Giannakopoulou and Daniel Kroening}, title = {A Logical Analysis of Framing for Specifications with Pure Method Calls}, booktitle = {Verified Software: Theories, Tools and Experiments - 6th International Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8471}, pages = {3--20}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12154-3\_1}, doi = {10.1007/978-3-319-12154-3\_1}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/BanerjeeN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BanerjeeNR13, author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg}, title = {Local Reasoning for Global Invariants, Part {I:} Region Logic}, journal = {J. {ACM}}, volume = {60}, number = {3}, pages = {18:1--18:56}, year = {2013}, url = {https://doi.org/10.1145/2485982}, doi = {10.1145/2485982}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BanerjeeNR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BanerjeeN13, author = {Anindya Banerjee and David A. Naumann}, title = {Local Reasoning for Global Invariants, Part {II:} Dynamic Boundaries}, journal = {J. {ACM}}, volume = {60}, number = {3}, pages = {19:1--19:73}, year = {2013}, url = {https://doi.org/10.1145/2485981}, doi = {10.1145/2485981}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BanerjeeN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/LuceroNS13, author = {Giovanny Lucero and David A. Naumann and Augusto Sampaio}, editor = {Chung{-}chieh Shan}, title = {Laws of Programming for References}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {124--139}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_9}, doi = {10.1007/978-3-319-03542-0\_9}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/LuceroNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpcc/TangNW13, author = {Chunyu Tang and David A. Naumann and Susanne Wetzel}, title = {Analysis of Authentication and Key Establishment in Inter-generational Mobile Telephony}, booktitle = {10th {IEEE} International Conference on High Performance Computing and Communications {\&} 2013 {IEEE} International Conference on Embedded and Ubiquitous Computing, {HPCC/EUC} 2013, Zhangjiajie, China, November 13-15, 2013}, pages = {1605--1614}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/HPCC.and.EUC.2013.226}, doi = {10.1109/HPCC.AND.EUC.2013.226}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hpcc/TangNW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BanerjeeN13, author = {Anindya Banerjee and David A. Naumann}, editor = {Anindya Banerjee and Olivier Danvy and Kyung{-}Goo Doh and John Hatcliff}, title = {A Simple Semantics and Static Analysis for Stack Inspection}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013}, series = {{EPTCS}}, volume = {129}, pages = {284--308}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.129.17}, doi = {10.4204/EPTCS.129.17}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BanerjeeN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BanerjeeN13, author = {Anindya Banerjee and David A. Naumann}, editor = {Dave Clarke and James Noble and Tobias Wrigstad}, title = {State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings}, booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification}, series = {Lecture Notes in Computer Science}, volume = {7850}, pages = {319--365}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36946-9\_12}, doi = {10.1007/978-3-642-36946-9\_12}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/series/lncs/BanerjeeN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DupressoirGJN13, author = {Fran{\c{c}}ois Dupressoir and Andrew D. Gordon and Jan J{\"{u}}rjens and David A. Naumann}, title = {Guiding a General-Purpose {C} Verifier to Prove Cryptographic Protocols}, journal = {CoRR}, volume = {abs/1312.6532}, year = {2013}, url = {http://arxiv.org/abs/1312.6532}, eprinttype = {arXiv}, eprint = {1312.6532}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/DupressoirGJN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/TangNW13, author = {Chunyu Tang and David A. Naumann and Susanne Wetzel}, title = {Analysis of authentication and key establishment in inter-generational mobile telephony}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {227}, year = {2013}, url = {http://eprint.iacr.org/2013/227}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/TangNW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NaumannSS12, author = {David A. Naumann and Augusto Sampaio and Leila Silva}, title = {Refactoring and representation independence for class hierarchies}, journal = {Theor. Comput. Sci.}, volume = {433}, pages = {60--97}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.02.009}, doi = {10.1016/J.TCS.2012.02.009}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NaumannSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/RosenbergBN12, author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Decision Procedures for Region Logic}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {379--395}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_25}, doi = {10.1007/978-3-642-27940-9\_25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/RosenbergBN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sbmf/2012, editor = {Rohit Gheyi and David A. Naumann}, title = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7498}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33296-8}, doi = {10.1007/978-3-642-33296-8}, isbn = {978-3-642-33295-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/DupressoirGJN11, author = {Fran{\c{c}}ois Dupressoir and Andrew D. Gordon and Jan J{\"{u}}rjens and David A. Naumann}, title = {Guiding a General-Purpose {C} Verifier to Prove Cryptographic Protocols}, booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium, {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011}, pages = {3--17}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CSF.2011.8}, doi = {10.1109/CSF.2011.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/DupressoirGJN11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/securecomm/TangNW11, author = {Chunyu Tang and David A. Naumann and Susanne Wetzel}, editor = {Muttukrishnan Rajarajan and Fred Piper and Haining Wang and George Kesidis}, title = {Symbolic Analysis for Security of Roaming Protocols in Mobile Networks - [Extended Abstract]}, booktitle = {Security and Privacy in Communication Networks - 7th International {ICST} Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {96}, pages = {480--490}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-31909-9\_29}, doi = {10.1007/978-3-642-31909-9\_29}, timestamp = {Mon, 24 Jun 2024 20:34:51 +0200}, biburl = {https://dblp.org/rec/conf/securecomm/TangNW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/ChudnovN10, author = {Andrey Chudnov and David A. Naumann}, title = {Information Flow Monitor Inlining}, booktitle = {Proceedings of the 23rd {IEEE} Computer Security Foundations Symposium, {CSF} 2010, Edinburgh, United Kingdom, July 17-19, 2010}, pages = {200--214}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CSF.2010.21}, doi = {10.1109/CSF.2010.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/ChudnovN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/SilvaNS10, author = {Leila Silva and David A. Naumann and Augusto Sampaio}, title = {Refactoring and representation independence for class hierarchies: extended abstract}, booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010}, pages = {8:1--8:7}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1924520.1924528}, doi = {10.1145/1924520.1924528}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/SilvaNS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/NaumannB10, author = {David A. Naumann and Anindya Banerjee}, editor = {Andrew D. Gordon}, title = {Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions}, booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6012}, pages = {2--22}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11957-6\_2}, doi = {10.1007/978-3-642-11957-6\_2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/NaumannB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/RosenbergBN10, author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann}, editor = {Gary T. Leavens and Peter W. O'Hearn and Sriram K. Rajamani}, title = {Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients}, booktitle = {Verified Software: Theories, Tools, Experiments, Third International Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6217}, pages = {183--198}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15057-9\_13}, doi = {10.1007/978-3-642-15057-9\_13}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/RosenbergBN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2009plas, editor = {Stephen Chong and David A. Naumann}, title = {Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, {PLAS} 2009, Dublin, Ireland, 15-21 June, 2009}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1554339}, doi = {10.1145/1554339}, isbn = {978-1-60558-645-8}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2009plas.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/BanerjeeNR08, author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg}, editor = {Jan Vitek}, title = {Regional Logic for Local Reasoning about Global Invariants}, booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5142}, pages = {387--411}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70592-5\_17}, doi = {10.1007/978-3-540-70592-5\_17}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/BanerjeeNR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BanerjeeNR08, author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg}, title = {Expressive Declassification Policies and Modular Static Enforcement}, booktitle = {2008 {IEEE} Symposium on Security and Privacy {(SP} 2008), 18-21 May 2008, Oakland, California, {USA}}, pages = {339--353}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SP.2008.20}, doi = {10.1109/SP.2008.20}, timestamp = {Thu, 21 Sep 2023 16:14:16 +0200}, biburl = {https://dblp.org/rec/conf/sp/BanerjeeNR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/BanerjeeBN08, author = {Anindya Banerjee and Michael Barnett and David A. Naumann}, editor = {Natarajan Shankar and Jim Woodcock}, title = {Boogie Meets Regions: {A} Verification Experience Report}, booktitle = {Verified Software: Theories, Tools, Experiments, Second International Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5295}, pages = {177--191}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87873-5\_16}, doi = {10.1007/978-3-540-87873-5\_16}, timestamp = {Fri, 17 Feb 2023 09:02:02 +0100}, biburl = {https://dblp.org/rec/conf/vstte/BanerjeeBN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Naumann07, author = {David A. Naumann}, title = {On assertion-based encapsulation for object invariants and simulations}, journal = {Formal Aspects Comput.}, volume = {19}, number = {2}, pages = {205--224}, year = {2007}, url = {https://doi.org/10.1007/s00165-006-0020-5}, doi = {10.1007/S00165-006-0020-5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/Naumann07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Naumann07, author = {David A. Naumann}, title = {Observational purity and encapsulation}, journal = {Theor. Comput. Sci.}, volume = {376}, number = {3}, pages = {205--224}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2007.02.004}, doi = {10.1016/J.TCS.2007.02.004}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Naumann07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/ShanerLN07, author = {Steve M. Shaner and Gary T. Leavens and David A. Naumann}, editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.}, title = {Modular verification of higher-order methods with mandatory calls specified by model programs}, booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2007, October 21-25, 2007, Montreal, Quebec, Canada}, pages = {351--368}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1297027.1297053}, doi = {10.1145/1297027.1297053}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/oopsla/ShanerLN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BanerjeeNR07, author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg}, editor = {Michael W. Hicks}, title = {Towards a logical account of declassification}, booktitle = {Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, {PLAS} 2007, San Diego, California, USA, June 14, 2007}, pages = {61--66}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1255329.1255340}, doi = {10.1145/1255329.1255340}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/BanerjeeNR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/PistoiaBN07, author = {Marco Pistoia and Anindya Banerjee and David A. Naumann}, title = {Beyond Stack Inspection: {A} Unified Access-Control and Information-Flow Security Model}, booktitle = {2007 {IEEE} Symposium on Security and Privacy (S{\&}P 2007), 20-23 May 2007, Oakland, California, {USA}}, pages = {149--163}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SP.2007.10}, doi = {10.1109/SP.2007.10}, timestamp = {Thu, 21 Sep 2023 15:57:31 +0200}, biburl = {https://dblp.org/rec/conf/sp/PistoiaBN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NaumannB06, author = {David A. Naumann and Michael Barnett}, title = {Towards imperative modules: Reasoning about invariants and sharing of mutable state}, journal = {Theor. Comput. Sci.}, volume = {365}, number = {1-2}, pages = {143--168}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.07.035}, doi = {10.1016/J.TCS.2006.07.035}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/NaumannB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/RussoHNS06, author = {Alejandro Russo and John Hughes and David A. Naumann and Andrei Sabelfeld}, editor = {Mitsu Okada and Ichiro Satoh}, title = {Closing Internal Timing Channels by Transformation}, booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4435}, pages = {120--135}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-77505-8\_10}, doi = {10.1007/978-3-540-77505-8\_10}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/RussoHNS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/Naumann06, author = {David A. Naumann}, editor = {Dieter Gollmann and Jan Meier and Andrei Sabelfeld}, title = {From Coupling Relations to Mated Invariants for Checking Information Flow}, booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4189}, pages = {279--296}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11863908\_18}, doi = {10.1007/11863908\_18}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esorics/Naumann06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etrics/BarnettNSS06, author = {Michael Barnett and David A. Naumann and Wolfram Schulte and Qi Sun}, editor = {G{\"{u}}nter M{\"{u}}ller}, title = {Allowing State Changes in Specifications}, booktitle = {Emerging Trends in Information and Communication Security, International Conference, {ETRICS} 2006, Freiburg, Germany, June 6-9, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3995}, pages = {321--336}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11766155\_23}, doi = {10.1007/11766155\_23}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etrics/BarnettNSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BartheRN06, author = {Gilles Barthe and Tamara Rezk and David A. Naumann}, title = {Deriving an Information Flow Checker and Certifying Compiler for Java}, booktitle = {2006 {IEEE} Symposium on Security and Privacy (S{\&}P 2006), 21-24 May 2006, Berkeley, California, {USA}}, pages = {230--242}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SP.2006.13}, doi = {10.1109/SP.2006.13}, timestamp = {Thu, 21 Sep 2023 15:57:31 +0200}, biburl = {https://dblp.org/rec/conf/sp/BartheRN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JohnsonNP09, author = {Michael Johnson and David A. Naumann and John Power}, editor = {Anthony Karel Seda and Menouer Boubekeur and Ted Hurley and M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and Michel P. Schellekens and Glenn Strong}, title = {Category Theoretic Models of Data Refinement}, booktitle = {Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, {MFCSIT} 2006, Cork, Ireland, August 1-5, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {225}, pages = {21--38}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.12.064}, doi = {10.1016/J.ENTCS.2008.12.064}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JohnsonNP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BanerjeeN05, author = {Anindya Banerjee and David A. Naumann}, title = {Ownership confinement ensures representation independence for object-oriented programs}, journal = {J. {ACM}}, volume = {52}, number = {6}, pages = {894--960}, year = {2005}, url = {https://doi.org/10.1145/1101821.1101824}, doi = {10.1145/1101821.1101824}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BanerjeeN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BanerjeeN05, author = {Anindya Banerjee and David A. Naumann}, title = {Stack-based access control and secure information flow}, journal = {J. Funct. Program.}, volume = {15}, number = {2}, pages = {131--177}, year = {2005}, url = {https://doi.org/10.1017/S0956796804005453}, doi = {10.1017/S0956796804005453}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/BanerjeeN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/BanerjeeN05, author = {Anindya Banerjee and David A. Naumann}, editor = {Andrew P. Black}, title = {State Based Ownership, Reentrance, and Encapsulation}, booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3586}, pages = {387--411}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11531142\_17}, doi = {10.1007/11531142\_17}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/BanerjeeN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Naumann05, author = {David A. Naumann}, editor = {Maura Cerioli}, title = {Observational Purity and Encapsulation}, booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, {FASE} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3442}, pages = {190--204}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31984-9\_15}, doi = {10.1007/978-3-540-31984-9\_15}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/Naumann05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Naumann05, author = {David A. Naumann}, editor = {Joe Hurd and Thomas F. Melham}, title = {Verifying a Secure Information Flow Analyzer}, booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3603}, pages = {211--226}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11541868\_14}, doi = {10.1007/11541868\_14}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tphol/Naumann05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/Naumann05, author = {David A. Naumann}, editor = {Bertrand Meyer and Jim Woodcock}, title = {Modular Reasoning in Object-Oriented Programming}, booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC} 2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions}, series = {Lecture Notes in Computer Science}, volume = {4171}, pages = {105--115}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-69149-5\_13}, doi = {10.1007/978-3-540-69149-5\_13}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/Naumann05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2003P3411, editor = {Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld}, title = {Language-Based Security, 5.-10. October 2003}, series = {Dagstuhl Seminar Proceedings}, volume = {03411}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/portals/03411/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2003P3411.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cassis/BanerjeeN04, author = {Anindya Banerjee and David A. Naumann}, editor = {Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean{-}Louis Lanet and Traian Muntean}, title = {History-Based Access Control and Secure Information Flow}, booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, {CASSIS} 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3362}, pages = {27--48}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30569-9\_2}, doi = {10.1007/978-3-540-30569-9\_2}, timestamp = {Fri, 09 Apr 2021 18:40:44 +0200}, biburl = {https://dblp.org/rec/conf/cassis/BanerjeeN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/Naumann04, author = {David A. Naumann}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Assertion-Based Encapsulation, Object Invariants and Simulations}, booktitle = {Formal Methods for Components and Objects, Third International Symposium, {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3657}, pages = {251--273}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11561163\_11}, doi = {10.1007/11561163\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmco/Naumann04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/NaumannB04, author = {David A. Naumann and Michael Barnett}, title = {Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State}, booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings}, pages = {313--323}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/LICS.2004.1319626}, doi = {10.1109/LICS.2004.1319626}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/NaumannB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/BarnettN04, author = {Michael Barnett and David A. Naumann}, editor = {Dexter Kozen and Carron Shankland}, title = {Friends Need a Bit More: Maintaining Invariants Over Shared State}, booktitle = {Mathematics of Program Construction, 7th International Conference, {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3125}, pages = {54--84}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27764-4\_5}, doi = {10.1007/978-3-540-27764-4\_5}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/BarnettN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/SunBN04, author = {Qi Sun and Anindya Banerjee and David A. Naumann}, editor = {Roberto Giacobazzi}, title = {Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language}, booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona, Italy, August 26-28, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3148}, pages = {84--99}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27864-1\_9}, doi = {10.1007/978-3-540-27864-1\_9}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/SunBN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BanerjeeN03, author = {Anindya Banerjee and David A. Naumann}, title = {Using Access Control for Secure Information Flow in a Java-like Language}, booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003), 30 June - 2 July 2003, Pacific Grove, CA, {USA}}, pages = {155--169}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CSFW.2003.1212711}, doi = {10.1109/CSFW.2003.1212711}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BanerjeeN03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/HrominCVNWAJ03, author = {Dennis Hromin and Michael Chladil and Natalie Vanatta and David A. Naumann and Susanne Wetzel and Farooq Anjum and Ravi Jain}, title = {CodeBLUE: a Bluetooth interactive dance club system}, booktitle = {Proceedings of the Global Telecommunications Conference, 2003. {GLOBECOM} '03, San Francisco, CA, USA, 1-5 December 2003}, pages = {2814--2818}, publisher = {{IEEE}}, year = {2003}, url = {https://doi.org/10.1109/GLOCOM.2003.1258748}, doi = {10.1109/GLOCOM.2003.1258748}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/globecom/HrominCVNWAJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BanerjeeMNS03, author = {Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld}, editor = {Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld}, title = {03411 Final Report - Language Based Security}, booktitle = {Language-Based Security, 5.-10. October 2003}, series = {Dagstuhl Seminar Proceedings}, volume = {03411}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2003}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/172}, timestamp = {Thu, 10 Jun 2021 13:02:09 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BanerjeeMNS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BanerjeeMNS03a, author = {Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld}, editor = {Anindya Banerjee and Heiko Mantel and David A. Naumann and Andrei Sabelfeld}, title = {03411 Abstracts Collection - Language Based Security}, booktitle = {Language-Based Security, 5.-10. October 2003}, series = {Dagstuhl Seminar Proceedings}, volume = {03411}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2003}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/173}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BanerjeeMNS03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Naumann02, author = {David A. Naumann}, title = {Soundness of data refinement for a higher-order imperative language}, journal = {Theor. Comput. Sci.}, volume = {278}, number = {1-2}, pages = {271--301}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(00)00339-X}, doi = {10.1016/S0304-3975(00)00339-X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Naumann02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BanerjeeN02, author = {Anindya Banerjee and David A. Naumann}, title = {Secure Information Flow and Pointer Confinement in a Java-like Language}, booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada}, pages = {253}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/CSFW.2002.1021820}, doi = {10.1109/CSFW.2002.1021820}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BanerjeeN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/CavalcantiN02, author = {Ana Cavalcanti and David A. Naumann}, editor = {Lars{-}Henrik Eriksson and Peter A. Lindsay}, title = {Forward Simulation for Data Refinement of Classes}, booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2391}, pages = {471--490}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45614-7\_27}, doi = {10.1007/3-540-45614-7\_27}, timestamp = {Mon, 21 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/CavalcantiN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BanerjeeN02, author = {Anindya Banerjee and David A. Naumann}, editor = {John Launchbury and John C. Mitchell}, title = {Representation independence, confinement and access control [extended abstract]}, booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002}, pages = {166--177}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/503272.503289}, doi = {10.1145/503272.503289}, timestamp = {Wed, 07 Jul 2021 17:30:33 +0200}, biburl = {https://dblp.org/rec/conf/popl/BanerjeeN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0212003, author = {Anindya Banerjee and David A. Naumann}, title = {Ownership Confinement Ensures Representation Independence for Object-Oriented Programs}, journal = {CoRR}, volume = {cs.PL/0212003}, year = {2002}, url = {http://arxiv.org/abs/cs/0212003}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0212003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Naumann01, author = {David A. Naumann}, title = {Calculating sharp adaptation rules}, journal = {Inf. Process. Lett.}, volume = {77}, number = {2-4}, pages = {201--208}, year = {2001}, url = {https://doi.org/10.1016/S0020-0190(00)00215-5}, doi = {10.1016/S0020-0190(00)00215-5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Naumann01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Naumann01, author = {David A. Naumann}, title = {Predicate transformer semantics of a higher-order imperative language with record subtyping}, journal = {Sci. Comput. Program.}, volume = {41}, number = {1}, pages = {1--51}, year = {2001}, url = {https://doi.org/10.1016/S0167-6423(00)00005-8}, doi = {10.1016/S0167-6423(00)00005-8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Naumann01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/Naumann01, author = {David A. Naumann}, title = {Ideal Models for Pointwise Relational and State-Free Imperative Programming}, booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy}, pages = {4--15}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/773184.773186}, doi = {10.1145/773184.773186}, timestamp = {Tue, 06 Nov 2018 16:57:25 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/Naumann01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CavalcantiN00, author = {Ana Cavalcanti and David A. Naumann}, title = {A Weakest Precondition Semantics for Refinement of Object-Oriented Programs}, journal = {{IEEE} Trans. Software Eng.}, volume = {26}, number = {8}, pages = {713--728}, year = {2000}, url = {https://doi.org/10.1109/32.879810}, doi = {10.1109/32.879810}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/CavalcantiN00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/CavalcantiN99, author = {Ana Cavalcanti and David A. Naumann}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, title = {A Weakest Precondition Semantics for an Object-Oriented Language of Refinement}, booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1709}, pages = {1439--1459}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48118-4\_26}, doi = {10.1007/3-540-48118-4\_26}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/CavalcantiN99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Naumann98, author = {David A. Naumann}, title = {A Categorical Model for Higher Order Imperative Programming}, journal = {Math. Struct. Comput. Sci.}, volume = {8}, number = {4}, pages = {351--399}, year = {1998}, url = {http://journals.cambridge.org/action/displayAbstract?aid=44759}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Naumann98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Naumann98, author = {David A. Naumann}, editor = {Johan Jeuring}, title = {Beyond Fun: Order and Membership in Polytypic Imperative Programming}, booktitle = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1422}, pages = {286--314}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054296}, doi = {10.1007/BFB0054296}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Naumann98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/Naumann98, author = {David A. Naumann}, editor = {David Gries and Willem P. de Roever}, title = {Towards squiggly refinement algebra}, booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12 June 1998, Shelter Island, New York, {USA}}, series = {{IFIP} Conference Proceedings}, volume = {125}, pages = {346--365}, publisher = {Chapman {\&} Hall}, year = {1998}, timestamp = {Thu, 21 Nov 2002 11:12:21 +0100}, biburl = {https://dblp.org/rec/conf/procomet/Naumann98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Naumann95, author = {David A. Naumann}, title = {Data Refinement, Call by Value and Higher Order Programs}, journal = {Formal Aspects Comput.}, volume = {7}, number = {6}, pages = {651--662}, year = {1995}, url = {https://doi.org/10.1007/BF01210999}, doi = {10.1007/BF01210999}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/Naumann95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Naumann95, author = {David A. Naumann}, title = {Predicate Transformers and Higher-Order Programs}, journal = {Theor. Comput. Sci.}, volume = {150}, number = {1}, pages = {111--159}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(94)00247-G}, doi = {10.1016/0304-3975(94)00247-G}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Naumann95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Naumann94, author = {David A. Naumann}, title = {A Recursion Theorem for Predicate Transformers on Inductive Data Types}, journal = {Inf. Process. Lett.}, volume = {50}, number = {6}, pages = {329--336}, year = {1994}, url = {https://doi.org/10.1016/0020-0190(94)00049-2}, doi = {10.1016/0020-0190(94)00049-2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Naumann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plsa/Naumann94, author = {David A. Naumann}, editor = {J{\"{u}}rg Gutknecht}, title = {On the Essence of Oberon}, booktitle = {Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {782}, pages = {313--327}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57840-4\_39}, doi = {10.1007/3-540-57840-4\_39}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/plsa/Naumann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/Naumann94, author = {David A. Naumann}, editor = {Ernst{-}R{\"{u}}diger Olderog}, title = {Predicate Transformer Semantics of an Oberon-Like Language}, booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}, series = {{IFIP} Transactions}, volume = {{A-56}}, pages = {467--487}, publisher = {North-Holland}, year = {1994}, timestamp = {Mon, 06 May 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/procomet/Naumann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/DenmanNPR94, author = {Richard T. Denman and David A. Naumann and Walter Potter and Gary Richter}, editor = {Robert Beck and Don Goelman}, title = {Derivation of programs for freshmen}, booktitle = {Proceedings of the 25th {SIGCSE} Technical Symposium on Computer Science Education, {SIGCSE} 1994, Phoenix, Arizona, USA, March 10-12, 1994}, pages = {116--120}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/191029.191077}, doi = {10.1145/191029.191077}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/DenmanNPR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/YehNMSGSL91, author = {Raymond T. Yeh and David A. Naumann and Roland T. Mittermeir and Reinhard A. Schlemmer and William S. Gilmore and George E. Sumrall and John T. Lebaron}, title = {A Commonsense Management Model}, journal = {{IEEE} Softw.}, volume = {8}, number = {6}, pages = {23--33}, year = {1991}, url = {https://doi.org/10.1109/52.103574}, doi = {10.1109/52.103574}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/software/YehNMSGSL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.