Follow
Roberto Zunino
Roberto Zunino
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
912018
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
892008
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
842018
BitML: a calculus for Bitcoin smart contracts
M Bartoletti, R Zunino
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
822018
A calculus of contracting processes
M Bartoletti, R Zunino
2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010
732010
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
672009
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Software Science and Computational Structures: 10th …, 2007
592007
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), 2014
572014
Constant-deposit multiparty lotteries on Bitcoin
M Bartoletti, R Zunino
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
462017
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming Languages with Applications to Biology and Security: Essays …, 2015
432015
Contract-oriented computing in CO2
M Bartoletti, E Tuosto, R Zunino
392012
Contract-Oriented Computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science" Alexandru Ioan Cuza" University of …, 2012
392012
Secure service orchestration
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial …, 2007
392007
Model checking usage policies
M Bartoletti, P Degano, GL Ferrari, R Zunino
Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009
362009
Verifying liquidity of Bitcoin contracts
M Bartoletti, R Zunino
International Conference on Principles of Security and Trust, 222-247, 2019
352019
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
International Conference on Coordination Languages and Models, 245-260, 2012
352012
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), 2015
332015
Securing Java with local policies
M Bartoletti, G Costa, P Degano, F Martinelli, R Zunino
Journal of Object Technology 8 (4), 5-32, 2009
33*2009
Developing secure Bitcoin contracts with BitML
N Atzei, M Bartoletti, S Lande, N Yoshida, R Zunino
Proceedings of the 2019 27th acm joint meeting on european software …, 2019
322019
Efficient constant-time complexity algorithm for stochastic simulation of large reaction networks
VH Thanh, R Zunino, C Priami
IEEE/ACM transactions on computational biology and bioinformatics 14 (3 …, 2016
312016
The system can't perform the operation now. Try again later.
Articles 1–20