Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Chudnov, Andrey
3  Ergebnisse:
Personensuche X
?
1

Continuous Formal Verification of Amazon s2n:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chudnov, Andrey ; Collins, Nathan ; Cook, Byron... - p. 430-446 , 2018
Link: https://doi.org/10.1007/..
 
?
2

Inlined Information Flow Monitoring for JavaScript:

, In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security,
Chudnov, Andrey ; Naumann, David A. - p. 629-643 , 2015
Link: https://dl.acm.org/doi/1..
 
?
3

Lightweight self-protecting JavaScript:

, In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security,
Phung, Phu H. ; Sands, David ; Chudnov, Andrey - p. 47-60 , 2009
Link: https://dl.acm.org/doi/1..
 
1-3