Personensuche
X
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
5
Group and Attack: Auditing Differential Privacy:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
6
Shared Certificates for Neural Network Verification:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
10
Fast and precise certification of transformers:
, In:
?
2020 21st International Symposium on Electrical Apparatus & Technologies (SIELA) ,
13