C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Refinement types for secure implementations.
Jesper Bengtson
Karthikeyan Bhargavan
Cédric Fournet
Andrew D. Gordon
Sergio Maffeis
Published in:
ACM Trans. Program. Lang. Syst. (2011)
Keyphrases
</>
genetic algorithm
artificial intelligence
real time
data mining
key management
authentication scheme