Scientific Publications
Articles & Papers
Research Reports
Articles & Papers
Cybernetica has collected and stored a wide variety of information, from
employees scientific work and -articles to different kinds of
presentation materials.
Articles and presentations by employees of Cybernetica:
2011
- Freudenthal, M., Pugal, D. Simpl: a Toolkit for Rapid DSL Implementation. 12th Symposium on Programming Languages and Software Tools. October 5-7, 2011, Tallinn, Estonia.
- Willemson, J. Pseudonymization Service for X-Road eGovernment Data
Exchange Layer. In Kim Normann Andersen, Enrico Francesconi, Åke
Grönlund, Tom M. van Engers (editors), Electronic Government and the
Information Sytems Perspective. Second International Conference, EGOVIS
2011. LNCS 6866, pp. 135-145. Available at
http://research.cyber.ee/~jan/publ/egovis_pseud.pdf - Buldas, A., Niitsoo, M. Optimally Tight Security Proofs for Hash-then-Publish Time-Stamping . 15th Australasian Conference on Information Security and Privacy (ACISP '10), July 5-7, 2010, Sydney, Australia. (Toim.) Philip Hawkes, Ron Steinfeld. Springer, 2010, (Lecture Notes in Computer Science; 6168), 318 - 335.
- Gonzalez, M., Laud, P. On the (Im)possibility of Perennial Message Recognition Protocols without Public-Key Cryptography. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC 2011).
- Heiberg, S., Laud, P., Willemson, J. The Application of I-voting for Estonian Parliamentary Elections of 2011. Will attend in VoteID 2011 proceedings, Tallinn, 29.-30.09.2011.
- Heiberg, S, Laud, P., Masson, S., Larsen, C.P. Secure Mobile Access to Homecare Patients' Data. In:
Proceedings: 5th International Conference on Theory and Practice of
Electronic Governance (ICEGOV2011), Tallinn, Sep 26th-28th, 2011.
(Toim.) Estevez, Elsa; Janssen, Marijn. ACM, 2011, 363 - 364.
- Ahmed, A.S., Laud, P. Formal Security analysis of OpenID with GBA protocol . Mobisec 2011, 3rd International ICST Conference on Security and Privacy in Mobile Information and Communication Systems, May 17-19, 2011 Aalborg, Denmark. (Ed..) Lioy, Antonio; Russello, Giovanni; Luccio, Flamina. Springer-Verlag, 2011, (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (LNICST)). [attending]
- Laud, P. Implementing Cryptographic Primitives in the Symbolic Model. 3rd NASA Formal Methods Symposium, Pasadena, CA, April 18th-20th 2011. (Ed.) Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev. Springer Verlag, 2011, (Lecture Notes in Computer Science; 6617), 267 - 281.
- Gonzalez, M., Steinwandt, R. Security of message authentication codes in the presence of key-dependent messages. In Designs, Codes and Cryptography, pp. 1-9, Springer Netherlands 2011.
2010
- Heiberg, S. Internet Voting - the Estonian Experience. In: Information Security Summit, From Technology to Management: Information Security Summit, 11th International Conference, Praha, 26.03 - 27.03 2010. Praha: Tate International, S.R.O., 2010, 133 - 138.
- Buldas, A., Niitsoo, M. Optimally tight security proofs for hash-then-publish time-stamping. In: Steinfeld, R., Hawkes, P. (Eds.): ACISP 2010. LNCS 6168, pp.318-335, Springer-Verlag 2010.
- Gonzalez, M.,
Steinwandt, R. Cryptanalysis of a message recognition protocol by
Mashatan and Stinson. In: Lee, D., Hong, S. (Eds.): ICISC 2009, LNCS
5984, pp. 362-373, Springer-Verlag 2010.
- Heiberg, S., Lipmaa, H., van Laenen, F. On e-vote integrity in the case of malicious voter computers. In: Gritzalis, D., Preneel, B., Theoharidou, M. (Eds.): ESORICS 2010, LNCS 6345, pp. 373-388, Springer-Verlag 2010.
- Jürgenson,
A., Willemson, J. On fast and approximate attack tree computations.
In: Kwak, J. et al. (Eds.): ISPEC 2010, LNCS 6047, pp. 56-66,
Springer-Verlag 2010.
- Chaabouni, R., Lipmaa, H., Shelat, A. Additive combinatorics and discrete logarithm based range protocols. In: Hawkes, P., Steinfeld, R. (Eds.): ACISP 2010, LNCS 6168, pp. 336-351, Springer-Verlag 2010.
- Groth, J., Kiayias, A., Lipmaa, H. Multi-Query Computationally-Private Information Retrieval with Constant Communication Rate. In Phong Q. Nguyen and David Pointcheval, editors, PKC 2010, volume 6056 of Lecture Notes in Computer Science, pages 107--123, Paris, France, May 26--28, 2010. Springer-Verlag.
- Miškinis, R; Smirnov, D, Urba, E; Burokas, A; Malyško, B; Laud, P; Zuliani, F. Digital Time Stamping System Based on Open Source Technologies. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 57(3), 721 - 727, 2010.
- Lipmaa, H., Zhang, B. Two
new efficient PIR-writing protocols. In: Zhou, J., Young, M. (Eds.):
ACNS 2010, LNCS 6123, pp.438-455, Springer-Verlag 2010.
- Laur,
S., Lipmaa, H. On the feasibility of consistent computations. In:
Nguyen, P.Q., Pointcheval, D. (Eds.): PKC 2010, LNCS 6056, pp. 88-106,
Springer-Verlag 2010.
- Laud, P., Tshahhirov, I. A user
interface for a game-based protocol verification tool. In:
Post-proceedings of FAST 2009: 6th International workshop in Formal
Aspects of Security and Trust (FAST 2009). (Toim.) Degano, Pierpaolo;
Etalle, Sandro; Guttman, Joshua. Springer-Verlag, 2010, (Lecture Notes
in Computer Science), 263 - 278.
- Willemson. J. Extending
the Gordon Loeb model for information security investment. In: ARES
2010. IEEE Computer Society Press, pp. 258-261, 2010.
- Freudenthal, M. Domain-Specific Languages in a Customs Information System. Ieee Software, 2, 65 - 71, 2010
- Freudenthal,
M. Using DSLs for Developing Enterprise Systems. Language Descriptions
Tools and Applications, Paphos, Cyprus. March 27-28, 2010.
- Freudenthal, M. Simplicitas: Software Architecture Document. Cybernetica Research Reports, T-4-9 , 2010
- Lipmaa, H. On the CCA1-Security of Elgamal and Damgård's Elgamal. In Xuejia Lai, Moti Yung and Dongdai Lin, editors, Inscrypt 2010, volume 6584 of Lecture Notes in Computer Science, pages 18--35, Shanghai, China, October 20--23, 2010. Springer-Verlag
- Niitsoo, M. Optimal Adversary Behavior for the Serial Model of Financial Attack Trees. In: IWSEC 2010: IWSEC 2010, 22-24. Nov. Kobe, Jaapan. (Toim.) Echizen, I., Kunihiro. Springer, 2010, (LNCS).
Previous articles:
There are currently no criteria on which to search. Please add them using the 'criteria' tab.
