Modelling and Analysis of DTLS: Power Consumption and Attacks
| Title: | Modelling and Analysis of DTLS: Power Consumption and Attacks |
|---|---|
| Authors: | Gehlert, Lise BechAff9; Jørgensen, Malthe Peter HøjenAff9; Koch, Christoffer BrejnholmAff9; Møller, TobiasAff9; Rusbjerg, Signe KirstineAff9; Bøgedal, Tobias WormAff9; Poulsen, Danny BøgstedAff9; Hansen, René RydhofAff9; Lux, DanielAff10 |
| Contributors: | Goos, Gerhard, Series EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Yung, Moti, Editorial Board MemberAff6; Haxthausen, Anne E., editorAff7; Serwe, Wendelin, editorAff8 |
| Source: | Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. 14952:136-151 |
| Database: | Springer Nature eBooks |