Sahir

Python, Rust, cryptography (Ed25519, SHA-256, RFC 8785), AI agent frameworks (LangGraph, CrewAI, AutoGPT), SQLite, FastAPI, Docker

Formal verification methods for cryptographic audit protocols. Reading the IETF Agent Audit Trail draft as it progresses toward RFC.

Sasana: tamper-evident cryptographic audit trails for AI agent sessions. Self-hosted, verifiable offline, Archeion sealing authority for independent attestation.

Technical discussions on AI agent security, tamper-evident logging, and EU AI Act Article 12 compliance. Open to collaboration with compliance engineers and security researchers.