Filter your results
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A survey of challenges for runtime verification from advanced application domains (beyond software)Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Journal articles
hal-02433558v1
|
||
|
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman ProtocolsUSENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Conference papers
hal-03103869v1
|
||
|
Influence of defects and domain walls on dielectric and mechanical resonances in LiNbO$_3$Journal of Physics: Condensed Matter, 2015, 28, pp.015901. ⟨10.1088/0953-8984/28/1/015901⟩
Journal articles
cea-01550765v1
|