Nikson Kanti Paul

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Outsourced Databases

Trusted Platform Module

Knowledge Compilation

Prime Implicates

Top Venues

Publications

Robert Krahn, Nikson Kanti Paul, Franz Gregor, Do Le Quoc, Andrey Brito, André Martin, Christof Fetzer
TICAL: Trusted and Integrity-protected Compilation of AppLications. EDCC (2024)