Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

3 Results
Structure: Internal structure identifier : 83910
Image document

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sanchez , Gerardo Schneider , Wolfgang Ahrendt , Ezio Bartocci , Domenico Bianculli , et al.
Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Journal articles hal-02433558v1
Image document

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols

Guillaume Girol , Lucca Hirschi , Ralf Sasse , Dennis Jackson , Cas Cremers , et al.
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Conference papers hal-03103869v1
Image document

Influence of defects and domain walls on dielectric and mechanical resonances in LiNbO$_3$

Guillaume F Nataf , Oktay Aktas , Torsten Granzow , Ekhard K. H. Salje
Journal of Physics: Condensed Matter, 2015, 28, pp.015901. ⟨10.1088/0953-8984/28/1/015901⟩
Journal articles cea-01550765v1