Segui
Roberto Zunino
Roberto Zunino
Email verificata su unitn.it - Home page
Titolo
Citata da
Citata da
Anno
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
752018
BitML: a calculus for Bitcoin smart contracts
M Bartoletti, R Zunino
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
742018
A calculus of contracting processes
M Bartoletti, R Zunino
2010 25th Annual IEEE Symposium on Logic in Computer Science, 332-341, 2010
742010
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
712018
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
Types and effects for resource usage analysis
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Software Science and Computational Structures: 10th …, 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
512014
Constant-deposit multiparty lotteries on Bitcoin
M Bartoletti, R Zunino
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
432017
Compliance in behavioural contracts: a brief survey
M Bartoletti, T Cimoli, R Zunino
Programming Languages with Applications to Biology and Security: Essays …, 2015
422015
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
Secure service orchestration
M Bartoletti, P Degano, GL Ferrari, R Zunino
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial …, 2007
392007
On the realizability of contracts in dishonest systems
M Bartoletti, E Tuosto, R Zunino
Coordination Models and Languages: 14th International Conference …, 2012
372012
Model checking usage policies
M Bartoletti, P Degano, GL Ferrari, R Zunino
Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009
362009
Securing Java with local policies
M Bartoletti, C Gabriele, D Pierpaolo, M Fabio, Z Roberto
Journal of Object Technology 8 (4), 5-32, 2009
33*2009
Verifying liquidity of Bitcoin contracts
M Bartoletti, R Zunino
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
322019
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 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
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013
272013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20