Login / Signup
Bilel Dridi
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Hardware Designs
Integrity Verification
Functional Requirements
Windows Xp
Top Venues
SCAM
</>
Publications
</>
Syrine Tlili
,
José M. Fernandez
,
Abdelfettah Belghith
,
Bilel Dridi
,
Soufien Hidouri
Scalable Security Verification of Software at Compile Time.
SCAM
(2014)