The following pages link to Riccardo Focardi (Q294843):
Displaying 42 items.
- Feedback vertex set in hypercubes (Q294845) (← links)
- Formal methods for web security (Q511944) (← links)
- Guessing bank PINs by winning a mastermind game (Q692940) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Gathering of robots in a ring with mobile faults (Q1731510) (← links)
- A modular approach to Sprouts (Q1765239) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Secure key management policies in strand spaces (Q2154015) (← links)
- Secure shared data-space coordination languages: a process algebraic survey (Q2432758) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- (Q2754157) (← links)
- (Q2767180) (← links)
- Techniques for security checking: non-interference vs control flow analysis (Q2841279) (← links)
- Formal models of timing attacks on web privacy (Q2841280) (← links)
- Information leakage detection in boundary ambients (Q2843917) (← links)
- Type-Based Analysis of PKCS#11 Key Management (Q2894333) (← links)
- Efficient Padding Oracle Attacks on Cryptographic Hardware (Q2914289) (← links)
- Transforming Processes to Check and Ensure Information Flow Security* (Q2996149) (← links)
- A Proof System for Information Flow Security (Q3079920) (← links)
- An Introduction to Security API Analysis (Q3092171) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- Channel abstractions for network security (Q3550700) (← links)
- (Q4330563) (← links)
- (Q4414382) (← links)
- (Q4414391) (← links)
- (Q4417947) (← links)
- (Q4493894) (← links)
- (Q4499293) (← links)
- (Q4736985) (← links)
- (Q4790353) (← links)
- (Q4798029) (← links)
- Security Abstractions and Intruder Models (Extended Abstract) (Q5170668) (← links)
- Programming Languages and Systems (Q5308695) (← links)
- Foundations of Software Science and Computational Structures (Q5705885) (← links)
- Foundations of Security Analysis and Design III (Q5897459) (← links)
- Foundations of Security Analysis and Design II (Q5901852) (← links)
- Foundations of Security Analysis and Design II (Q5901853) (← links)
- Perspectives of System Informatics (Q5902417) (← links)
- Dynamic Security Analysis of JavaScript: Are We There Yet?: Dataset (Q6693886) (← links)
