Follow
Letterio Galletta
Letterio Galletta
IMT School for Advanced Studies Lucca
Verified email at imtlucca.it - Homepage
Title
Cited by
Cited by
Year
Tracing where IoT data are collected and aggregated
C Bodei, P Degano, GL Ferrari, L Galletta
Logical Methods in Computer Science 13 (3), 2017
272017
Language-independent synthesis of firewall policies
C Bodei, P Degano, L Galletta, R Focardi, M Tempesta, L Veronese
2018 ieee european symposium on security and privacy (euros&p), 92-106, 2018
252018
Measuring security in IoT communications
C Bodei, S Chessa, L Galletta
Theoretical Computer Science 764, 100-124, 2019
242019
Provably secure isolation for interruptible enclaved execution on small microprocessors
M Busi, J Noorman, J Van Bulck, L Galletta, P Degano, JT Mühlberg, ...
33rd IEEE Computer Security Foundations Symposium, CSF 2020, 262--276, 2020
212020
Where do your IoT ingredients come from?
C Bodei, P Degano, GL Ferrari, L Galletta
International Conference on Coordination Languages and Models, 35-50, 2016
212016
A true concurrent model of smart contracts executions
M Bartoletti, L Galletta, M Murgia
International Conference on Coordination Languages and Models, 243-260, 2020
202020
Types for coordinating secure behavioural variations
P Degano, GL Ferrari, L Galletta, G Mezzetti
International Conference on Coordination Languages and Models, 261-276, 2012
202012
A minimal core calculus for Solidity contracts
M Bartoletti, L Galletta, M Murgia
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 233-243, 2019
172019
A two-component language for adaptation: design, semantics and program analysis
P Degano, GL Ferrari, L Galletta
IEEE Transactions on Software Engineering 42 (6), 505-529, 2015
172015
A step towards checking security in IoT
C Bodei, P Degano, GL Ferrari, L Galletta
arXiv preprint arXiv:1608.03327, 2016
152016
Tracking sensitive and untrustworthy data in IoT
C Bodei, L Galletta
The Italian Conference on Cybersecurity (ITASEC17) 1816, 38-52, 2017
132017
Transcompiling Firewalls.
C Bodei, P Degano, R Focardi, L Galletta, M Tempesta
POST, 303-324, 2018
122018
A two-phase static analysis for reliable adaptation
P Degano, GL Ferrari, L Galletta
International Conference on Software Engineering and Formal Methods, 347-362, 2014
122014
A two-component language for COP
P Degano, GL Ferrari, L Galletta
Proceedings of 6th International Workshop on Context-Oriented Programming, 1-7, 2014
112014
Formalising security in ubiquitous and cloud scenarios
C Bodei, P Degano, GL Ferrari, L Galletta, G Mezzetti
IFIP International Conference on Computer Information Systems and Industrial …, 2012
112012
Linguistic mechanisms for context-aware security
C Bodei, P Degano, L Galletta, F Salvatori
International Colloquium on Theoretical Aspects of Computing, 61-79, 2014
102014
Adaptivity: linguistic mechanisms and static analysis techniques
L Galletta
Ph. D. thesis, University of Pisa, 2014
102014
Typing context-dependent behavioural variation
P Degano, GL Ferrari, L Galletta, G Mezzetti
arXiv preprint arXiv:1302.6332, 2013
102013
Context-aware security: linguistic mechanisms and static analysis
C Bodei, P Degano, L Galletta, F Salvatori
Journal of Computer Security 24 (4), 427-477, 2016
92016
A context-oriented extension of F
A Canciani, P Degano, GL Ferrari, L Galletta
arXiv preprint arXiv:1512.07681, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20