Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David A. Naumann
@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 = {Tue, 07 May 2024 01:00: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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-05-08 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
