European Symposium on Research in Computer Security (ESORICS)

Event name
European Symposium on Research in Computer Security (ESORICS)
 
Event type
Event for scientific audience
 
Start date
21-09-2009
End date
25-09-2009
 
Location
Saint Malo, Brittany, France
Saint Malo, Brittany, France
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  Formal methods

Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Veronese, Lorenzo ; Calzavara, Stefano ; Compagna, Luca Bulwark: Holistic and Verified Security Monitoring of Web ProtocolsKonferenzbeitrag Inproceedings 2020