Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 300723
hal_authIdPerson_i : 986105
Page :
sorted by
Image document

Exploit Generation for Information Flow Leaks in Object-Oriented Programs

 Quoc Huy Do , Richard Bubel , Reiner Hähnle
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.401-415, ⟨10.1007/978-3-319-18467-8_27⟩
Conference papers hal-01345131v1
Image document

Modeling Non-deterministic C Code with Active Objects

 Nathan Wasser , Asmae Heydari Tabar , Reiner Hahnle
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.213-227, ⟨10.1007/978-3-030-31517-7_15⟩
Conference papers hal-03769132v1
Page :