Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Leiden Institute of Advanced Computer Science [Leiden]
labStructName_s : IBM [DUBLIN]
Image document

Runtime Detection of Zero-Day Vulnerability Exploits in Contemporary Software Systems

Olgierd Pieczul , Simon N. Foley
30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.347-363, ⟨10.1007/978-3-319-41483-6_24⟩
Conference papers hal-01633685v1
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1