Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (2 paper(s))
2. ACM Trans. Program. Lang. Syst. (2 paper(s))
3. Algorithmica (1 paper(s))
4. Formal Asp. Comput. (1 paper(s))
5. J. ACM (1 paper(s))
6. Journal of Computer Security (1 paper(s))
7. J. Log. Comput. (1 paper(s))
8. Sci. Comput. Program. (1 paper(s))
9. STTT (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
12. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (18 paper(s))
2. IEEE Symposium on Security and Privacy (S&P) (7 paper(s))
3. International Conference on Software Engineering (ICSE) (5 paper(s))
4. IEEE Computer Security Foundations Workshop (CSFW) (5 paper(s))
5. Computer Aided Verification (CAV) (4 paper(s))
6. Conference on Computer and Communications Security (CCS) (4 paper(s))
7. Annual Computer Security Applications Conference (3 paper(s))
8. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
10. Recent Advances in Intrusion Detection (RAID) (2 paper(s))
11. International Conference on Autonomous Agents (2 paper(s))
12. Agent Theories, Architectures, and Languages (ATAL) (2 paper(s))
13. Correct Hardware Design and Verification Methods (CHARME) (2 paper(s))
14. Network and Distributed System Security Symposium (NDSS) (2 paper(s))
15. European Symposium on Research in Computer Security (ESORICS) (2 paper(s))
16. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
17. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
18. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
19. Static Analysis (WSA/SAS) (1 paper(s))
20. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
21. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
22. International Conference on Computer Design (ICCD) (1 paper(s))
23. International Conference on Multiagent Systems (ICMAS) (1 paper(s))
24. Computer Hardware Description Languages and their Applications (1 paper(s))
25. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
26. USENIX Security Symposium (1 paper(s))
27. Cooperative Information Agents (CIA) (1 paper(s))
28. Logic in Computer Science (LICS) (1 paper(s))
29. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
30. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
31. Publications Resulting from Dagstuhl Seminars (1 paper(s))
32. Policies for Distributed Systems and Networks (1 paper(s))
33. USENIX Conference on File and Storage Technologies (1 paper(s))
34. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))