Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Ghabri, Hatem
Search Results - Ghabri, Hatem
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Compiling symbolic attacks to protocol implementation tests
by
Ghabri, Hatem
,
Maatoug, Ghazi
,
Rusinowitch, Michael
Published in
Electronic proceedings in theoretical computer science
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
Compiling symbolic attacks to protocol implementation tests
by
Ghabri, Hatem
,
Maatoug, Ghazi
,
Rusinowitch, Michael
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
Arxiv.org
1 results
1
Electronic Proceedings In Theoretical Computer Science
1 results
1
Subjects
Architecture
1 results
1
Black Boxes
1 results
1
Computer Science
1 results
1
Computer Science - Cryptography And Security
1 results
1
Computer Science - Software Engineering
1 results
1
Computer Science, Theory & Methods
1 results
1
Flaw Detection
1 results
1
Logic In Computer Science
1 results
1
Protocol
1 results
1
Science & Technology
1 results
1
Specifications
1 results
1
Technology
1 results
1
Test Procedures
1 results
1
Year of Publication
From:
To:
Source
Road: Directory Of Open Access Scholarly Resources
2 results
2
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Doaj Directory Of Open Access Journals
1 results
1
Ezb Electronic Journals Library
1 results
1
Publicly Available Content Database
1 results
1