Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Simplot-Ryl, Isabelle
66  Ergebnisse:
Personensuche X
?
1

On-device control flow verification for Java programs:

, In: Proceedings of the Third international conference on Engineering secure software and systems,
Fontaine, Arnaud ; Hym, Samuel ; Simplot-Ryl, Isabelle - p. 43-57 , 2011
Link: https://dl.acm.org/doi/1..
 
?
2

On-Device Control Flow Verification for Java Programs:

, In: Lecture Notes in Computer Science; Engineering Secure Software and Systems,
Fontaine, Arnaud ; Hym, Samuel ; Simplot-Ryl, Isabelle - p. 43-57 , 2011
Link: https://doi.org/10.1007/..
 
?
3

Application of contract-based security assertion monitoring..:

Hoole, Alexander M. ; Traore, Issa ; Simplot-Ryl, Isabelle
Mathematical and Computer Modelling.  53 (2011)  3-4 - p. 522-537 , 2011
Link: https://doi.org/10.1016/..
 
?
4

Distributed architectures for electronic cash schemes: a su..:

Simplot-Ryl, Isabelle ; Traoré, Issa ; Everaere, Patricia
International Journal of Parallel, Emergent and Distributed Systems.  24 (2009)  3 - p. 243-271 , 2009
Link: https://doi.org/10.1080/..
 
?
5

An information flow verifier for small embedded systems:

, In: Proceedings of the 1st IFIP TC6 /WG8.8 /WG11.2 international conference on Information security theory and practices: smart cards, mobile and ubiquitous computing systems,
Ghindici, Dorina ; Grimaud, Gilles ; Simplot-Ryl, Isabelle - p. 189-201 , 2007
Link: https://dl.acm.org/doi/1..
 
?
6

An Information Flow Verifier for Small Embedded Systems:

, In: Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems; Lecture Notes in Computer Science,
Ghindici, Dorina ; Grimaud, Gilles ; Simplot-Ryl, Isabelle - p. 189-201 , 2007
Link: https://doi.org/10.1007/..
 
?
7

On the use of metatypes for safe embedded operating system ..:

Grimaud, Gilles ; Hodique, Yann ; Simplot-Ryl, Isabelle
International Journal of Parallel, Emergent and Distributed Systems.  22 (2007)  1 - p. 1-13 , 2007
Link: https://doi.org/10.1080/..
 
?
8

Cooperation in ad hoc networks : enhancing the virtual c..:

, In: Proceedings of the first international conference on Integrated internet ad hoc and sensor networks,
Hauspie, Michaël ; Simplot-Ryl, Isabelle - p. 24-es , 2006
Link: https://dl.acm.org/doi/1..
 
?
9

Component composition preserving behavioral contracts based..:

Bailly, Arnaud ; Clerbout, Mireille ; Simplot-Ryl, Isabelle
Theoretical Computer Science.  363 (2006)  2 - p. 108-123 , 2006
Link: https://doi.org/10.1016/..
 
?
10

Embedding verifiable information flow analysis:

, In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services,
Ghindici, Dorina ; Grimaud, Gilles ; Simplot-Ryl, Isabelle - p. 1-9 , 2006
Link: https://dl.acm.org/doi/1..
 
?
11

Hypocomb: Bounded-degree Localized Geometric Planar Graphs ..:

Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle.
info:eu-repo/semantics/altIdentifier/doi/10.1109/TPDS.2012.180.  , 2013
Link: https://hal.inria.fr/hal..
 
?
12

Investigating Data Similarity and Estimation Through Spatio..:

Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle...
hal-00849044.  , 2012
Link: https://hal.inria.fr/hal..
 
?
13

Investigating Data Similarity and Estimation Through Spatio..:

Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle...
hal-00849044.  , 2012
Link: https://hal.inria.fr/hal..
 
?
14

Lightweight verification of control flow policies on Java b..:

Fontaine, Arnaud ; Hym, Samuel ; Simplot-Ryl, Isabelle
info:eu-repo/grantAgreement/EC/FP7/231101/EU/Security Engineering for lifelong Evolvable Systems/SECURECHANGE.  , 2011
Link: https://hal.inria.fr/inr..
 
?
15

A Novel Family of Geometric Planar Graphs for Wireless Ad H..:

Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle.
inria-00587873.  , 2011
Link: https://hal.inria.fr/inr..
 
1-15