https://mici.hu
We welcome presentations on secure compilation, multi-language security, low-level enforcement, etc.
Have exciting ideas to share with the community? Submit a 2-page abstract: popl26.sigplan.org/home/prisc-2...
We welcome presentations on secure compilation, multi-language security, low-level enforcement, etc.
Have exciting ideas to share with the community? Submit a 2-page abstract: popl26.sigplan.org/home/prisc-2...
mici.hu/papers/demeu...
mici.hu/papers/demeu...
mici.hu/papers/bognar25openipe.pdf
github.com/martonbognar/openipe
mici.hu/papers/bognar25openipe.pdf
github.com/martonbognar/openipe
You'll review artifacts of accepted papers. We especially encourage junior/senior PhD students & PostDocs to help. Distinguished reviews will get awards!
mici.hu/papers/vandi...
github.com/dnet-tee/wai...
mici.hu/papers/vandi...
github.com/dnet-tee/wai...