The following pages link to Damiano Macedonio (Q3395313):
Displayed 7 items.
- A type system for Discretionary Access Control (Q3395314) (← links)
- Boolean Formulas for the Static Identification of Injection Attacks in Java (Q3460049) (← links)
- (Q3504340) (← links)
- (Q5431914) (← links)
- A Hybrid Intuitionistic Logic: Semantics and Decidability (Q5488610) (← links)
- Automata, Languages and Programming (Q5716826) (← links)
- Theoretical Computer Science (Q5897373) (← links)