ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State.
Jeongseok SonGriffin PrechterRishabh PoddarRaluca Ada PopaKoushik SenPublished in: USENIX Security Symposium (2021)
Keyphrases
- computationally efficient
- computationally expensive
- data structure
- algorithmic solutions
- learning algorithm
- highly scalable
- computational complexity
- combinatorial optimization
- machine learning algorithms
- benchmark datasets
- algorithms and data structures
- single pass
- efficient implementation
- recently developed
- real time
- optimization problems
- orders of magnitude
- petri net
- classification algorithm
- theoretical analysis
- simulated annealing
- state space
- computationally intensive
- computational cost
- search engine
- efficient solutions
- genetic algorithm
- data sets