Journals and Conferences that author prefers

Journals

1. J. Log. Algebr. Program. (4 paper(s))
2. ACM Trans. Program. Lang. Syst. (2 paper(s))
3. J. ACM (1 paper(s))
4. Journal of Computer Security (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))
6. ACM Trans. Inf. Syst. Secur. (1 paper(s))
7. CoRR (1 paper(s))

Conferences

1. (16 paper(s))
2. International Conference on Logic Programming (5 paper(s))
3. Symposium on Logic Programming (SLP / ILPS / NACLP) (4 paper(s))
4. Conference on Computer and Communications Security (CCS) (4 paper(s))
5. ACM Symposium on Access Control Models and Technologies (SACMAT) (4 paper(s))
6. IEEE Symposium on Security and Privacy (S&P) (3 paper(s))
7. APPIA-GULP-PRODE (2 paper(s))
8. (2 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
10. Policies for Distributed Systems and Networks (2 paper(s))
11. Database Security (DBSec) (1 paper(s))
12. (1 paper(s))
13. Workshop on Privacy in the Electronic Society (1 paper(s))
14. Foundations of Security Analysis and Design (1 paper(s))
15. International Conference on Information and Communication Security (ICICS) (1 paper(s))
16. iTrust (1 paper(s))
17. Logic in Computer Science (LICS) (1 paper(s))
18. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
19. Static Analysis (WSA/SAS) (1 paper(s))