ACM Transactions on Information and System Security (TISSEC)
A Network Protocol Stack in Standard ML
Higher-Order and Symbolic Computation
Model-carrying code: a practical approach for safe execution of untrusted applications
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Developing a high-performance web server in Concurrent Haskell
Journal of Functional Programming
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Preventing privilege escalation
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Improving host security with system call policies
SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Melange: creating a "functional" internet
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
| Hi-index | 0.00 |