Andreas Kjeldgaard Brandhøj

Publikationer pr. år

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Andreas Kjeldgaard Brandhøj er aktiv.

Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs.
Brandhøj, A. K., Bøgedal, T. W., Hansen, R. R., Larsen, K. G. & Poulsen, D. B., 2025, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (red.). Springer, s. 280-296 17 s. (Lecture Notes in Computer Science (LNCS), Bind 16040).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
DropShadow: Hypercontracts in Go
Brandhøj, A. K., Dieu, D. T. T., Vesteraa, K., Poulsen, D. B., Hansen, R. R. & Larsen, K. G., nov. 2024, 35th Nordic Workshop on Programming Theory (NWPT): (Extended abstracts). Kirkedal Thomsen, M., Kirkeby, M. H. & Henglein, F. (red.). s. 35-38
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Åben adgang