1
Published 2015
Table of Contents: ... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook