Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Probabilistic Verification on Side Channel
Loading...
330
Average Latency (ms)
Praline
266.12
697.31
1,128.5
1,559.69
Jun 18, 2026
Average Latency (ms)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Average Latency (ms)
Praline
2026.06
330
SDP
2026.06
1,927
Feedback
Search any
task
Search any
task
