E-LIB Suche - Ergebnisse für: Capretto, Margarita

1

Monitoring the Future of Smart Contracts:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Capretto, Margarita ; Ceresa, Martin ; Sánchez, César - p. 122-142 , 2024

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

2

Setchain: Improving Blockchain Scalability with Byzantine D..:

, In: 2022 IEEE International Conference on Blockchain (Blockchain),

Capretto, Margarita ; Ceresa, Martin ; Anta, Antonio Fernandez.. - p. 87-96 , 2022

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

3

Transaction Monitoring of Smart Contracts:

, In: Runtime Verification; Lecture Notes in Computer Science,

Capretto, Margarita ; Ceresa, Martin ; Sánchez, César - p. 162-180 , 2022

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

4

Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Sec..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Klein, Karen ; Pascual-Perez, Guillermo ; Walter, Michael... - p. 268-284 , 2021

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

5

On Minimum Generalized Manhattan Connections:

, In: Lecture Notes in Computer Science; Algorithms and Data Structures,

Antoniadis, Antonios ; Capretto, Margarita ; Chalermsook, Parinya... - p. 85-100 , 2021

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

6

Monitoring the Future of Smart Contracts:

Capretto, Margarita ; Ceresa, Martin ; Sanchez, Cesar
http://arxiv.org/abs/2401.12093. , 2024

Link: http://arxiv.org/abs/240..

7

Improving Blockchain Scalability with the Setchain Data-typ:

Capretto, Margarita ; Ceresa, Martín ; Anta, Antonio Fernández..
http://arxiv.org/abs/2302.04744. , 2023

Link: http://arxiv.org/abs/230..

8

Improving Blockchain Scalability with the Setchain Data-typ:

Capretto, Margarita ; Ceresa, Martín ; Fernández Anta, Antonio..
2769-6472. , 2023

Link: https://hdl.handle.net/2..

9

Transaction Monitoring of Smart Contracts:

Capretto, Margarita ; Ceresa, Martin ; Sanchez, Cesar
http://arxiv.org/abs/2207.02517. , 2022

Link: http://arxiv.org/abs/220..

10

Setchain: Improving Blockchain Scalability with Byzantine D..:

Capretto, Margarita ; Ceresa, Martín ; Fernández Anta, Antonio..
BLOQUES-CM. , 2022

Link: https://hdl.handle.net/2..

11

Setchain: Improving Blockchain Scalability with Byzantine D..:

Capretto, Margarita ; Ceresa, Martín ; Anta, Antonio Fernández..
http://arxiv.org/abs/2206.11845. , 2022

Link: http://arxiv.org/abs/220..

12

Brecha de dualidad y límites de tipo Ramsey para familias d..:

Capretto, Margarita
http://hdl.handle.net/2133/23731. , 2021

Link: http://hdl.handle.net/21..

13

Keep the dirt: tainted TreeKEM, adaptively and actively sec..:

Klein, Karen ; Pascual Perez, Guillermo ; Walter, Michael...
info:eu-repo/semantics/altIdentifier/doi/10.1109/sp40001.2021.00035. , 2021

Link: https://research-explore..

14

On Minimum Generalized Manhattan Connections:

Antoniadis, Antonios ; Capretto, Margarita ; Chalermsook, Parinya...
http://arxiv.org/abs/2010.14338. , 2020

Link: http://arxiv.org/abs/201..