Letterio Galletta

Identifiers

• name variant Letterio Galletta 0.60 · backfill

Papers (14)

1. A Unified Framework and Comparative Study of Decentralized Finance Derivatives Protocols cs.GT · 2025 · author #4
2. A Logic for Policy Based Resource Exchanges in Multiagent Systems cs.LO · 2024 · author #3
3. Explainable Ponzi Schemes Detection on Ethereum cs.CR · 2023 · author #1
4. Automatic Fair Exchanges cs.CR · 2022 · author #2
5. IFCIL: An Information Flow Configuration Language for SELinux (Extended Version) cs.CR · 2022 · author #2
6. A theory of transaction parallelism in blockchains cs.CR · 2020 · author #2
7. Private-Yet-Verifiable Contact Tracing cs.CR · 2020 · author #3
8. Control-flow Flattening Preserves the Constant-Time Policy (Extended Version) cs.PL · 2020 · author #3
9. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version cs.CR · 2020 · author #4
10. A minimal core calculus for Solidity contracts cs.PL · 2019 · author #2
11. A true concurrent model of smart contracts executions cs.PL · 2019 · author #2
12. Translation Validation for Security Properties cs.PL · 2019 · author #3
13. Using Standard Typing Algorithms Incrementally cs.PL · 2018 · author #3
14. Tracing where IoT data are collected and aggregated cs.PL · 2016 · author #4

Mentions

• 2408.09516 #3 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2301.04872 #1 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2011.13837 #2 · arxiv_oai · confidence 0.70 Letterio Galletta
• 1610.08419 #4 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2207.12326 #2 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2205.15915 #2 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2010.09303 #3 · arxiv_oai · confidence 0.70 Letterio Galletta
• 1905.04366 #2 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2003.05836 #3 · arxiv_oai · confidence 0.70 Letterio Galletta
• 2001.10881 #4 · arxiv_oai · confidence 0.70 Letterio Galletta
• 1908.02709 #2 · arxiv_oai · confidence 0.70 Letterio Galletta
• 1901.05082 #3 · arxiv_oai · confidence 0.70 Letterio Galletta
• 1808.00225 #3 · arxiv_oai · confidence 0.70 Letterio Galletta

Frequent Coauthors

• Pierpaolo Degano 8 shared papers
• Matteo Busi 4 shared papers
• Lorenzo Ceragioli 3 shared papers
• Massimo Bartoletti 3 shared papers
• Maurizio Murgia 3 shared papers
• Fabio Pinelli 2 shared papers
• Luca Vigan\`o 2 shared papers
• Andrea Canidio 1 shared papers
• Chiara Bodei 1 shared papers
• David Basin 1 shared papers
• Frank Piessens 1 shared papers
• Gabriele Costa 1 shared papers
• Gian-Luigi Ferrari 1 shared papers
• Jan Tobias M\"uhlberg 1 shared papers
• Job Noorman 1 shared papers
• Jo Van Bulck 1 shared papers
• Luca Pennella 1 shared papers
• Pietro Saggese 1 shared papers