The FOREVER service for fault/intrusion removal
Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems
Semantics-based code obfuscation by abstract interpretation
Journal of Computer Security
Deception used for cyber defense of control systems
HSI'09 Proceedings of the 2nd conference on Human System Interactions
Orthrus: efficient software integrity protection on multi-cores
Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
Low-level software security: attacks and defenses
Foundations of security analysis and design IV
ACM Transactions on Computer Systems (TOCS)
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
On Protection by Layout Randomization
ACM Transactions on Information and System Security (TISSEC)
Quantitative survivability evaluation of three virtual machine-based server architectures
Journal of Network and Computer Applications
Hi-index | 0.00 |
This paper studies observational determinism, a generalisation of non-interference for multi-threaded programs. Standard notions of non-interference only consider input and output of programs, but to ensure the security of multithreaded programs, one ...