1
Published 2007
Table of Contents: ...-Hashing Function -- Second Preimages for Iterated Hash Functions and Their Implications on MACs...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- Towards Leveraging Behavioral Economics in Mobile Application Design -- A Parallel Universe: Psychological...
View full text
Electronic eBook