Declassification Policy for Program Complexity Analysis.

Emmanuel Hainry Bruce M. Kapron Jean-Yves Marion Romain Péchoux

Published in: LICS (2024)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
optimal policy
computer programs
real time
program execution
static analysis
first order logic
test cases
databases
database
decision making
decision process
information systems
data sets
management policies