Follow
Roberto Zunino
Roberto Zunino
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
Semantics-based design for secure web services
M Bartoletti, P Degano, GL Ferrari, R Zunino
IEEE Transactions on Software Engineering 34 (1), 33-49, 2008
902008
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
732018
A calculus of contracting processes
M Bartoletti, R Zunino
2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010
732010
BitML: a calculus for Bitcoin smart contracts
M Bartoletti, R Zunino
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
692018
Local policies for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (6), 1-43, 2009
662009
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
International Conference on Financial Cryptography and Data Security, 541-560, 2018
652018
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
International Conference on Foundations of Software Science and …, 2007
582007
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays
VH Thanh, C Priami, R Zunino
The Journal of chemical physics 141 (13), 10B602_1, 2014
502014
Contract-oriented computing in CO2
M Bartoletti, E Tuosto, R Zunino
442012
Contract-Oriented Computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science" Alexandru Ioan Cuza" University of …, 2012
442012
Constant-deposit multiparty lotteries on Bitcoin
M Bartoletti, R Zunino
International Conference on Financial Cryptography and Data Security, 231-247, 2017
422017
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming languages with applications to biology and security, 103-121, 2015
412015
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
International Conference on Coordination Languages and Models, 245-260, 2012
392012
Secure service orchestration
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Security Analysis and Design IV, 24-74, 2007
392007
Model checking usage policies
M Bartoletti, P Degano, GL Ferrari, R Zunino
International Symposium on Trustworthy Global Computing, 19-35, 2008
362008
Securing Java with local policies
M Bartoletti, C Gabriele, D Pierpaolo, M Fabio, Z Roberto
34*2009
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems, 305-320, 2013
302013
Verifying liquidity of Bitcoin contracts
M Bartoletti, R Zunino
International Conference on Principles of Security and Trust, 222-247, 2019
292019
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
International Conference on Concurrency Theory, 402-418, 2014
292014
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks
VH Thanh, R Zunino, C Priami
The Journal of chemical physics 142 (24), 06B617_1, 2015
282015
The system can't perform the operation now. Try again later.
Articles 1–20