Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Efficient Format-Compliant Encryption of Regular Languages: Block-Based Cycle-Walking

Thomas Stütz , Andreas Uhl
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.81-92, ⟨10.1007/978-3-642-13241-4_9⟩
Conference papers hal-01056365v1
Image document

Trace Semantics via Determinization

Bart Jacobs , Alexandra Silva , Ana Sokolova
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers hal-01539887v1