OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads.
Jeppe Fredsgaard BlaabjergAslan AskarovPublished in: CoRR (2023)
Keyphrases
- reactive planning
- program execution
- control flow
- network traffic
- traffic flow
- response time
- real time
- database transactions
- symbolic execution
- application programs
- internet traffic
- data flow
- traffic volume
- traffic data
- traffic congestion
- orders of magnitude
- road traffic
- execution model
- reactive systems
- java programs
- answer sets
- agent architecture
- programming language
- road network
- congestion control
- ddos attacks
- telecommunication networks
- source code