Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gidon Ernst

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Toby C. Murray

> Home > Persons > Gidon Ernst

Publications

2023
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MurrayTEN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MurrayTEN23
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann:
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. CCS 2023: 1746-1760
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MurrayYE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MurrayYE23
Toby Murray, Pengbo Yan, Gidon Ernst:
Compositional Vulnerability Detection with Insecurity Separation Logic. ICFEM 2023: 65-82
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-03442
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-03442
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann:
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version). CoRR abs/2309.03442 (2023)
2022
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ErnstKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ErnstKM22
Gidon Ernst, Alexander Knapp, Toby Murray:
A Hoare Logic with Regular Behavioral Specifications. ISoLA (1) 2022: 45-64
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/LiuPEMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/LiuPEMR22
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. SANER 2022: 720-730
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06584
Gidon Ernst, Alexander Knapp, Toby Murray:
A Hoare Logic with Regular Behavioral Specifications. CoRR abs/2205.06584 (2022)
2021
[c26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02968
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02968
Gidon Ernst, Johannes Blau, Toby Murray:
Deductive Verification via the Debug Adapter Protocol. F-IDE@NFM 2021: 89-96
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-05225
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-05225
Toby Murray, Pengbo Yan, Gidon Ernst:
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic. CoRR abs/2107.05225 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-15498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-15498
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. CoRR abs/2112.15498 (2021)
2020
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LiuEMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LiuEMR20
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
Legion: Best-First Concolic Testing (Competition Contribution). FASE 2020: 545-549
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiuEMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiuEMR20
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
LEGION: Best-First Concolic Testing. ASE 2020: 54-65
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-06311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-06311
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein:
Legion: Best-First Concolic Testing. CoRR abs/2002.06311 (2020)
2019
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ErnstM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ErnstM19
Gidon Ernst, Toby Murray:
SecCSL: Security Concurrent Separation Logic. CAV (2) 2019: 208-230
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/2019ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2019ftfjp
Toby Murray, Gidon Ernst:
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM 2019, ISBN 978-1-4503-6864-3 [contents]
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/IssaME18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/IssaME18
Abdullah Issa, Toby Murray, Gidon Ernst:
In search of perfect users: towards understanding the usability of converged multi-level secure user interfaces. OZCHI 2018: 572-576

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.