The following pages link to Mehran S. Fallah (Q492913):
Displayed 6 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Run-time verification for observational determinism using dynamic program slicing (Q2092484) (← links)
- Monitorable hyperproperties of nonterminating systems (Q2168793) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- S-Restricted Compositions Revisited (Q4557842) (← links)