Publications
- Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2025. IEEE. Details URL DOI BIB
- Static and Dynamic Analysis of a Usage Control System In SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024. Details DOI BIB
- Specifying a Usage Control System In Proceedings of the 28th ACM Symposium on Access Control Models and Technologies (SACMAT ’23), pages 8, New York, NY, USA, June 2023. ACM. Details DOI BIB