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
852008
A calculus of contracting processes
M Bartoletti, R Zunino
2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010
722010
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
632009
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
International Conference on Foundations of Software Science and …, 2007
562007
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
452018
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
422014
Contract-oriented computing in CO2
M Bartoletti, E Tuosto, R Zunino
422012
Contract-Oriented Computing in CO2
M Bartoletti, E Tuosto, R Zunino
Scientific Annals of Computer Science" Alexandru Ioan Cuza" University of …, 2012
422012
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
412018
Secure service orchestration
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Security Analysis and Design IV, 24-74, 2007
382007
BitML: a calculus for Bitcoin smart contracts
M Bartoletti, R Zunino
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
372018
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
International Conference on Coordination Languages and Models, 245-260, 2012
372012
Constant-deposit multiparty lotteries on Bitcoin
M Bartoletti, R Zunino
International Conference on Financial Cryptography and Data Security, 231-247, 2017
332017
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming languages with applications to biology and security, 103-121, 2015
332015
Securing Java with local policies
M Bartoletti, C Gabriele, M Fabio, Z Roberto
33*2009
Model checking usage policies
M Bartoletti, P Degano, GL Ferrari, R Zunino
International Symposium on Trustworthy Global Computing, 19-35, 2008
322008
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems, 305-320, 2013
282013
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
International Conference on Concurrency Theory, 402-418, 2014
262014
A theory of agreements and protection
M Bartoletti, T Cimoli, R Zunino
International Conference on Principles of Security and Trust, 186-205, 2013
262013
Contracts as games on event structures
M Bartoletti, T Cimoli, GM Pinna, R Zunino
Journal of logical and algebraic methods in programming 85 (3), 399-424, 2016
252016
The system can't perform the operation now. Try again later.
Articles 1–20