Research output per year
Research output per year
Search results
-
2024
Concrete branching bisimilarity for processes with time-outs
Reghem, G. & van Glabbeek, R. J., 7 Oct 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 53 p. (Computing Research Repository (CoRR))Research output: Book/Report › Commissioned report
Open AccessFile -
2014
Cryptology and Network Security - 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings
Gritzalis, D. (Editor), Kiayias, A. (Editor) & Askoxylakis, I. G. (Editor), 2014, Springer. 413 p. (Lecture Notes in Computer Science; vol. 8813)Research output: Book/Report › Commissioned report
-
2012
E-Voting and Identity - Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers
Kiayias, A. (Editor) & Lipmaa, H. (Editor), 2012, Springer. 267 p. (Lecture Notes in Computer Science; vol. 7187)Research output: Book/Report › Commissioned report
-
2011
Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings
Kiayias, A. (Editor), 2011, Springer. 427 p. (Lecture Notes in Computer Science; vol. 6558)Research output: Book/Report › Commissioned report
-
2010
Digital Scotland
Fourman, M., Boulton, G., Buneman, P., Clarke, P., McLaughlin, S., Milne, A. D., Ritchie, I., Schaffer, M. & Purvis, P., Oct 2010, Royal Society of Edinburgh . 64 p.Research output: Book/Report › Commissioned report
-
Financial Cryptography and Data Security, FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers
Sion, R. (Editor), Curtmola, R. (Editor), Dietrich, S. (Editor), Kiayias, A. (Editor), Miret, J. M. (Editor), Sako, K. (Editor) & Sebé, F. (Editor), 2010, Springer. 262 p. (Lecture Notes in Computer Science; vol. 6054)Research output: Book/Report › Commissioned report
-
2007
Proceedings of the Seventh ACM Workshop on Digital Rights Management, Alexandria, VA, USA, October 29, 2007
Yung, M. (Editor), Kiayias, A. (Editor) & Sadeghi, A.-R. (Editor), 2007, ACM.Research output: Book/Report › Commissioned report