OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads.
Jeppe Fredsgaard BlaabjergAslan AskarovPublished in: CSF (2023)
Keyphrases
- reactive planning
- control flow
- program execution
- symbolic execution
- traffic flow
- response time
- database transactions
- network traffic
- agent architecture
- application programs
- data flow
- traffic congestion
- execution model
- orders of magnitude
- road traffic
- reactive systems
- traffic management
- traffic control
- parallel execution
- database
- road network
- real time