Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rasoamanana, Aina Toky
12  Ergebnisse:
Personensuche X
?
1

Towards a Systematic and Automatic Use of State Machine Inf..:

, In: Computer Security – ESORICS 2022; Lecture Notes in Computer Science,
Rasoamanana, Aina Toky ; Levillain, Olivier ; Debar, Hervé - p. 637-657 , 2022
Link: https://doi.org/10.1007/..
 
?
2

3-setwise intersecting families of the symmetric group:

Behajaina, Angelot ; Maleki, Roghayeh ; Rasoamanana, Aina Toky.
Discrete Mathematics.  344 (2021)  8 - p. 112467 , 2021
Link: https://doi.org/10.1016/..
 
?
3

Derivation and Analysis of Cryptographic Protocol Implement..:

Rasoamanana, Aina Toky
NNT: 2023IPPAS005.  , 2023
Link: https://theses.hal.scien..
 
?
4

Derivation and Analysis of Cryptographic Protocol Implement..:

Rasoamanana, Aina Toky
NNT: 2023IPPAS005.  , 2023
Link: https://theses.hal.scien..
 
?
5

Derivation and Analysis of Cryptographic Protocol Implement..:

Rasoamanana, Aina Toky
http://www.theses.fr/2023IPPAS005/document.  , 2023
Link: http://www.theses.fr/202..
 
?
6

Towards a systematic and automatic use of state machine inf..:

Rasoamanana, Aina Toky ; Levillain, Olivier ; Debar, Hervé
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17143-7_31.  , 2022
Link: https://hal.science/hal-..
 
?
7

Towards a systematic and automatic use of state machine inf..:

Rasoamanana, Aina Toky ; Levillain, Olivier ; Debar, Hervé
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17143-7_31.  , 2022
Link: https://hal.science/hal-..
 
?
8

Towards a systematic and automatic use of state machine inf..:

Rasoamanana, Aina Toky ; Levillain, Olivier ; Debar, Hervé
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17143-7_31.  , 2022
Link: https://hal.science/hal-..
 
?
9

Work-in-Progress: towards a platform to compare binary pars..:

Levillain, Olivier ; Naud, Sébastien ; Rasoamanana, Aina Toky
hal-04001619.  , 2021
Link: https://hal.science/hal-..
 
?
10

Work-in-Progress: towards a platform to compare binary pars..:

Levillain, Olivier ; Naud, Sébastien ; Rasoamanana, Aina Toky
hal-04001619.  , 2021
Link: https://hal.science/hal-..
 
?
11

Work-in-Progress: towards a platform to compare binary pars..:

Levillain, Olivier ; Naud, Sébastien ; Rasoamanana, Aina Toky
hal-04001619.  , 2021
Link: https://hal.science/hal-..
 
?
12

$3$-setwise intersecting families of the symmetric group:

Behajaina, Angelot ; Maleki, Roghayeh ; Rasoamanana, Aina Toky.
http://arxiv.org/abs/2010.00229.  , 2020
Link: http://arxiv.org/abs/201..
 
1-12