Foreword to the special issue on security and rewriting techniques
From MaRDI portal
(Redirected from Publication:462476)
Data encryption (aspects in computer science) (68P25) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42) Authentication, digital signatures and secret sharing (94A62)
Recommendations
- Editor's foreword
- Special issue: Cryptography and provable security. Preface
- Rewriting logic and its applications (extended selected papers from WRLA 2014)
- Rewriting logic and its applications (extended selected papers from WRLA 2014)
- Special issue: Rewriting techniques and applications. Selected papers from the 12th international conference, RTA 2001, Utrecht University, Utrecht, The Netherlands, May 22-24, 2001.
This page was built for publication: Foreword to the special issue on security and rewriting techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q462476)