Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Writing Real-Time .Net Games in Casanova11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.341-348, ⟨10.1007/978-3-642-33542-6_30⟩
Conference papers
hal-01556148v1
|
||
|
Lintent: Towards Security Type-Checking of Android Applications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.289-304, ⟨10.1007/978-3-642-38592-6_20⟩
Conference papers
hal-01515252v1
|
||
|
Semantically Sound Analysis of Content Security Policies39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.293-297, ⟨10.1007/978-3-030-21759-4_18⟩
Conference papers
hal-02313752v1
|