Author:
Huisman M.,Worah P.,Sunesen K.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Dynamic Obfuscation Framework for Security and Utility;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
2. Cryptography Vulnerabilities on HackerOne;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
3. Verifying Hyperliveness;Computer Aided Verification;2019
4. Low-deterministic security for low-nondeterministic programs1;Journal of Computer Security;2018-04-09
5. Specification and static enforcement of scheduler-independent noninterference in a middleweight Java;Computer Languages, Systems & Structures;2016-11