E-LIB Suche - Ergebnisse für: Bartoletti, Massimo

1

Sound approximate and asymptotic probabilistic bisimulation..:

Bartoletti, Massimo ; Murgia, Maurizio ; Zunino, Roberto
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Contract-Oriented Programming with Timed Session Types:

, In: Behavioural Types,

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana... - p. 27-48 , 2022

Link: https://doi.org/10.1201/..

3

Contract-Oriented Design of Distributed Applications: A Tut..:

, In: Behavioural Types,

Atzei, Nicola ; Bartoletti, Massimo ; Murgia, Maurizio.. - p. 1-25 , 2022

Link: https://doi.org/10.1201/..

4

Formal Analysis of Lending Pools in Decentralized Finance:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi... - p. 335-355 , 2022

Link: https://doi.org/10.1007/..

5

A theory of Automated Market Makers in DeFi:

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch-Lafuente, Alberto
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

6

A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartoletti, Massimo ; Murgia, Maurizio ; Zunino, Roberto - p. 35-52 , 2022

Link: https://doi.org/10.1007/..

7

Maximizing Extractable Value from Automated Market Makers:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch Lafuente, Alberto - p. 3-19 , 2022

Link: https://doi.org/10.1007/..

8

Verifying liquidity of recursive Bitcoin contracts:

Bartoletti, Massimo ; Lande, Stefano ; Murgia, Maurizio.
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

Towards a Theory of Decentralized Finance:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lafuente, Alberto Lluch - p. 227-232 , 2021

Link: https://doi.org/10.1007/..

10

A theory of transaction parallelism in blockchains:

Bartoletti, Massimo ; Galletta, Letterio ; Murgia, Maurizio
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

11

A Formal Model of Algorand Smart Contracts:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Bracciali, Andrea ; Lepore, Cristian.. - p. 93-114 , 2021

Link: https://doi.org/10.1007/..

12

Cryptocurrency Scams: Analysis and Perspectives:

Bartoletti, Massimo ; Lande, Stefano ; Loddo, Andrea..
IEEE Access. 9 (2021) - p. 148353-148373 , 2021

Link: https://doi.org/10.1109/..

13

SoK: Lending Pools in Decentralized Finance:

, In: Lecture Notes in Computer Science; Financial Cryptography and Data Security. FC 2021 International Workshops,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lafuente, Alberto Lluch - p. 553-578 , 2021

Link: https://doi.org/10.1007/..

14

A Theory of Automated Market Makers in DeFi:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch-Lafuente, Alberto - p. 168-187 , 2021

Link: https://doi.org/10.1007/..

15

Computationally sound Bitcoin tokens:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Bartoletti, Massimo ; Lande, Stefano ; Zunino, Roberto - p. 1-15 , 2021

Link: https://doi.org/10.1109/..