researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2009
Filter by Tag
Filter by Author
Filter by Top terms
OR
AND
NOT
1
2008
22
csf
international
june
pa
pittsburgh
proceedings
rewriting
secret@lics
security
techniques
third
usa
workshop
SecReT (SecReT)
Editions
Publications
Viewing Publication 1 - 1 from 1
2009
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008
Daniel J. Dougherty
,
Santiago Escobar 0001
, editors,
Volume 234 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
Sign in
or
sign up
to see more results.