Travelled to:
1 × Canada
Collaborated with:
S.Tlili J.M.Fernández A.Belghith B.Dridi
Talks about:
softwar (1) scalabl (1) compil (1) verif (1) secur (1) time (1)
Person: Soufien Hidouri
DBLP: Hidouri:Soufien
Contributed to:
Wrote 1 papers:
- SCAM-2014-TliliFBDH #scalability #security #verification
- Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.