1999 |
|
6 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Research Report A54, Laboratory for Theoretical Computer Science, Helsinki University of Technology, August 1999. |
|
|
5 | Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Master's thesis, Helsinki University of Technology, May 1999. [This thesis was nominated the best Master's Thesis on the area of Computer Science by The Finnish Society for Computer Science in 1999.] |
|
|
4 | Antti Huima. Efficient infinite-state analysis of security protocols. In Proc. FLOC'99 Workshop on Formal Methods and Security Protocols, 1999. |
|
1998 |
|
3 | Antti Huima. A new model of cryptography for the analysis of cryptographic protocols. In Proc. NORDSEC '98, 1998. |
|
1997 |
|
2 | Antti Huima. Security flaws in popular security software: Lessons learned from problems in SSH-1.2.17 and older. In Proc. NORDSEC '97, 1997. |
|
|
1 | Antti Huima and Tuomas Aura. Using a multimodal logic to express conflicting interests in security protocols. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Proceedings were published in electronic form (CD) only. |
|
