Search - Formal Techniques for Distributed Objects, Components, and Systems Access content directly

Filter your results

2 results
Keywords : Information flow
Page :
sorted by
Image document

Only Connect, Securely

 Chandrika Bhardwaj , Sanjiva Prasad
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.75-92, ⟨10.1007/978-3-030-21759-4_5⟩
Conference papers hal-02313753v1
Image document

Output-sensitive Information flow analysis

 Cristian Ene , Laurent Mounier , Marie-Laure Potet
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers hal-02303984v1
Page :