Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (6 paper(s))
2. Inf. Comput. (6 paper(s))
3. Journal of Computer Security (5 paper(s))
4. Theor. Comput. Sci. (4 paper(s))
5. ACM Trans. Program. Lang. Syst. (3 paper(s))
6. Ann. Pure Appl. Logic (2 paper(s))
7. ACM Comput. Surv. (2 paper(s))
8. TAPOS (2 paper(s))
9. J. Log. Algebr. Program. (2 paper(s))
10. Mathematical Structures in Computer Science (1 paper(s))
11. Bulletin of Symbolic Logic (1 paper(s))
12. Nord. J. Comput. (1 paper(s))
13. Sci. Comput. Program. (1 paper(s))
14. SIGPLAN Notices (1 paper(s))
15. Fundam. Inform. (1 paper(s))
16. STTT (1 paper(s))
17. Int. J. Inf. Sec. (1 paper(s))
18. Inf. Process. Lett. (1 paper(s))
19. J. ACM (1 paper(s))
20. Commun. ACM (1 paper(s))
21. J. Autom. Reasoning (1 paper(s))
22. CoRR (1 paper(s))
23. J. Funct. Program. (1 paper(s))

Conferences

1. (18 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (15 paper(s))
3. IEEE Computer Security Foundations Workshop (CSFW) (9 paper(s))
4. Logic in Computer Science (LICS) (6 paper(s))
5. Conference on Computer and Communications Security (CCS) (5 paper(s))
6. IEEE Symposium on Security and Privacy (S&P) (5 paper(s))
7. Network and Distributed System Security Symposium (NDSS) (3 paper(s))
8. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (3 paper(s))
9. Annual Symposium on Foundations of Computer Science (FOCS) (3 paper(s))
10. Theoretical Aspects of Computer Software (TACS) (3 paper(s))
11. ACM Conference on LISP and Functional Programming (LFP) (3 paper(s))
12. International World Wide Web Conferences (WWW) (2 paper(s))
13. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
14. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
15. ISSS (2 paper(s))
16. Theory of Cryptography (2 paper(s))
17. ACM Workshop on Wireless Security (1 paper(s))
18. Annual Computer Security Applications Conference (1 paper(s))
19. Fundamentals of Computation Theory (FCT) (1 paper(s))
20. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
21. World Congress on Formal Methods (FM) (1 paper(s))
22. Detection of Intrusions and Malware & Vulnerability Assessment (1 paper(s))
23. Birthday ... (1 paper(s))
24. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
25. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
26. Computer Aided Verification (CAV) (1 paper(s))
27. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
28. Symposium on Principles of Database Systems (PODS) (1 paper(s))
29. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
30. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
31. Constructivity in Computer Science (1 paper(s))
32. Workshop on Interface Definition Languages (1 paper(s))
33. Rewriting Techniques and Applications (RTA) (1 paper(s))
34. Conference for Computer Science Logic (CSL) (1 paper(s))
35. Information Security Conference / Workshop (ISC/ISW) (1 paper(s))
36. Category Theory and Computer Science (1 paper(s))
37. Theoretical Aspects of Rationality and Knowledge (1 paper(s))
38. (1 paper(s))
39. European Symposium on Programming (ESOP) (1 paper(s))
40. Logic of Programs (1 paper(s))
41. Workshop on Privacy in the Electronic Society (1 paper(s))
42. Financial Cryptography (1 paper(s))
43. Mathematical Foundations of Programming Semantics (1 paper(s))