Speaker
Philipp Daniel Kern
Talks at this conference:
| Mon, 10:00 | Revisiting Differential Verification: Equivalence Verification with Confidence |
| Tue, 14:30 | Certified Error Analysis of Homomorphically Encrypted Neural Networks |
Speaker
| Mon, 10:00 | Revisiting Differential Verification: Equivalence Verification with Confidence |
| Tue, 14:30 | Certified Error Analysis of Homomorphically Encrypted Neural Networks |