The following pages link to Andrew C. Myers (Q1870492):
Displayed 13 items.
- Secure information flow via linear continuations (Q1870493) (← links)
- JRIF: reactive information flow control for Java (Q2303365) (← links)
- (Q2763665) (← links)
- (Q3060984) (← links)
- Attacker Control and Impact for Confidentiality and Integrity (Q3224683) (← links)
- A Semantic Framework for Declassification and Endorsement (Q3558216) (← links)
- (Q4415100) (← links)
- (Q4417790) (← links)
- (Q4778713) (← links)
- Masked types for sound object initialization (Q5261505) (← links)
- Interruptible iterators (Q5348931) (← links)
- Toward general diagnosis of static errors (Q5408450) (← links)
- A 4th-Order Particle-in-Cell Method with Phase-Space Remapping for the Vlasov-Poisson Equation (Q6269995) (← links)