| Verified Configuration and Deployment of Layered Attestation Managers | |
|---|---|
| Author | |
| Year of Publication |
2024
|
| Conference Name |
22nd International Conference on Software Engineering and Formal Methods (SEFM’24)
|
| Date Published |
11/2024
|
| Publisher |
22nd International Conference on Software Engineering and Formal Methods (SEFM’24)
|
| Conference Location |
Aveiro, Portugal
|
| Google Scholar | BibTeX | |