معرفی
Benedikt Schmidt is a researcher affiliated with Darmstadt University of Technology, Germany, and has contributed to diverse fields including Cryptography, Industrial Artificial Intelligence, and Formal Verification. His work focuses on mathematical proofs for cryptographic systems, AI-driven industrial process optimization, and human-computer interaction in technical environments.
- Key collaborations with leading cryptographers like Gilles Barthe and Andre Scedrov
- Recent 2025 publications on alarm prediction transformers and multimodal AI in industrial contexts
Research Themes span:
- Cryptography: Automated analysis of security assumptions, structure-preserving signatures, predicate encodings.
- Industrial AI: Virtual assistants, alarm prediction models, process automation.
- Ethics & Security: Explainability in ML for psychiatry, key confirmation protocols.
Notable conferences include CCS, CRYPTO, IEEE Security & Privacy, and journals like J. Cryptol. and Eng. Appl. Artif. Intell.
۰مقاله منتشرشده
