The following pages link to Letterio Galletta (Q1731515):
Displaying 14 items.
- Measuring security in IoT communications (Q1731516) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Robust declassification by incremental typing (Q2303362) (← links)
- From natural projection to partial model checking and back (Q2324221) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- Last Mile’s Resources (Q2796215) (← links)
- Linguistic Mechanisms for Context-Aware Security (Q2938152) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- Safe Adaptation Through Implicit Effect Coercion (Q3460866) (← links)
- (Q5019690) (← links)
- (Q5028430) (← links)
- An Abstract Interpretation Framework for Type and Effect Systems (Q5259270) (← links)
- (Q5367043) (← links)
- Italian IT Initiatives against COVID-19 (Dataset) (Q6717573) (← links)