1. Distributed Financial Exchanges: Security Challenges and Design Principles;IEEE Security & Privacy;2021-01
2. Robustness analysis for secure software design;Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment;2020-11-08
3. Improving the Security of Visual Challenges;ACM Transactions on Cyber-Physical Systems;2019-07-31
4. A Novel Protocol for Security of Location Based Services in Multi-agent Systems;Wireless Personal Communications;2019-05-08
5. An IDE for the Design, Verification and Implementation of Security Protocols;2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2017-10