![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 4
Zeitschriftenartikel
Liu, Dongge; Ernst, Gidon; Murray, Toby und Rubinstein, Benjamin I. P.
(2020):
LEGION: Best-First Concolic Testing.
In: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (Ase 2020): S. 54-65
Ernst, Gidon und Murray, Toby
(2019):
SECCSL: Security Concurrent Separation Logic.
In: Computer Aided Verification, Cav 2019, Pt Ii, Bd. 11562: S. 208-230
Konferenzbeitrag
Murray, Toby 
ORCID: https://orcid.org/0000-0002-8271-0289; Tiwari, Mukesh ORCID: https://orcid.org/0000-0001-5373-9659; Ernst, Gidon ORCID: https://orcid.org/0000-0002-3289-5764 und Naumann, David A. ORCID: https://orcid.org/0000-0002-7634-6150
(2023):
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, 26. - 30. November 2023.
Meng, Weizhi und Jensen, Christian D. (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York: Association for Computing Machinery. S. 1746-1760
ORCID: https://orcid.org/0000-0002-8271-0289; Tiwari, Mukesh ORCID: https://orcid.org/0000-0001-5373-9659; Ernst, Gidon ORCID: https://orcid.org/0000-0002-3289-5764 und Naumann, David A. ORCID: https://orcid.org/0000-0002-7634-6150
(2023):
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, 26. - 30. November 2023.
Meng, Weizhi und Jensen, Christian D. (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York: Association for Computing Machinery. S. 1746-1760
Liu, Dongge; Pham, Van-Thuan; Ernst, Gidon; Murray, Toby und Rubinstein, Benjamin I.P.
(2022):
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing.
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI, USA, 15-18 March 2022.
In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Piscataway, NJ, USA: IEEE. S. 720-730