Source: http://cs.ioc.ee/excs/wgs/sec.html
Timestamp: 2019-04-24 23:45:47+00:00

Document:
L. Haav, P. Laud. Typing computationally secure information flow in Jif. In H. Riis Nielson, C. Probst, eds., Proc. of 13th Nordic Wksh. on Secure IT-systems, NordSec 2008 (Oct. 2008), pp. 187-199. 2008.
J. Kivimaa, A. Ojamaa, E. Tyugu. Graded security expert system. In Pre-Proc. of 3rd Int. Wksh. on Critical Information Infrastructures Security, CRITIS 2008 (Rome, Oct. 2008), pp. 333-339. AIIC, ENEA, 2008.
R. Miškinis, B. Malyško, D. Smirnov, E. Urba, A. Burokas, P. Laud, M. Oit, F. Zuliani, M. Messineo, A. Fanelli, J. Nawrocky, P. Nogas, L. Bandzaityte, V. Simanavicius. BALTICTIME - the demonstration of open source technologies for legal and accountable digital time-stamping. In P. Cunningham, M. Cunningham, eds., Collaboration and the Knowledge Economy: Issues, Applications, Case Studies, v. 5 of Information and Communication Technologies and the Knowledge Economy, pp. ?-?. IOS Press, 2008.
D. Bogdanov, M. V. Crispino, V. Cyras, K. Glass, K. Lapin, M. Panebarco, G. M. Todesco, F. Zuliani. VirtualLife virtual world platform: peer-to-peer, security and rule of law. In Proc. of 2009 NEM Summit (St Malo, Sept. 2009), pp. 124-129. Eurescom, 2009.
P. Laud, I. Tšahhirov. A user interface for a game-based protocol verification tool. In P. Degano, J. Guttman, eds., Pre-Proc. of 6th Int. Wksh. on Formal Aspects in Security and Trust, FAST 2009 (Eindhoven, Nov. 2009), to appear.
S. Heiberg. Internet voting - the Estonian experience. In V. Maty�ás, Z. R�íha, eds., Proc. of 11th Int. Conf. on Information Security, Information Security Summit, IS2 2010 (Praha, March 2010), pp. 133-138. Tate International s.r.o., Praha, 2010.
G. Klein, A. Ojamaa, P. Grigorenko, M. Jahnke, E. Tyugu. Enhancing response selection in impact estimation approaches. In M. Amanowicz, P. Antweiler, P. Lenk, A. Najgebauer, eds., Concepts and Implementations for Innovative Military Communications and Information Technologies, pp. 277-286. Military Univ. of Techn., Warsaw, 2010.
D. Bogdanov, P. Pruulmann-Vengerfeldt. Adoption barriers of secure computation for decision making in a defence application. In Proc. of STO System Analysis and Studies Panel Symp. on Analysis Support to Decision Making in Cyber Defence and Security, SAS 106 (Tallinn, June 2014). NATO STO, 2014.
Defense at Helsinki Univ. of Techn., 25 Apr. 2008. Supervisor K. Nyberg (Helsinki Univ. of Techn.), opponent S. Vaudenay (EPF Lausanne).
Defense at Tallinn Univ. of Techn., 15 Dec. 2008. Supervisor J. Tepandi (TUT), consultant P. Laud (Cybernetica AS). Opponents C. Fournet (Microsoft Research, Cambridge), V. Vene (Univ. of Tartu).
Defense at Tallinn Univ. of Techn., 21 June 2010. Supervisors A. Buldas (Tallinn Univ. of Techn.), J. Willemson (Cybernetica AS). Opponents S. Mauw (Univ. of Luxembourg), T. Tammet (Tallinn Univ. of Techn.).
Defense at Univ. of Tartu, 20 May 2011. Supervisor A. Buldas (Tallinn Univ. of Techn.). Opponents B. Schoenmakers (Eindhoven Univ. of Technology), H. Lipmaa (Tallinn Univ.).
Defense at Univ. of Tartu, 10 October 2011. Supervisors H. Lipmaa, P. Laud (Univ. of Tartu). Opponents J. Groth (Univ. College London), J. B. Nielsen (Univ. of Aarhus).
Defense at Univ. of Tartu, 28 Feb. 2013. Supervisor S. Laur (Univ. of Tartu). Opponents N. P. Smart (Univ. of Bristol), B. Schoenmakers (Eindhoven Univ. of Techn.).
Defense at Univ. of Tartu, 9 March 2015. Supervisor S. Laur (Univ. of Tartu). Opponents R. N. Wright (Rutgers Univ.), G. Danezis (Univ. College London).

References: V. 
 v. 
 V. 
 V. 
 V. 
 V.