Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
psvg.doc.ic.ac.uk
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Package registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
xr119
psvg.doc.ic.ac.uk
Commits
a74bb58a7869dab46a456bda12f439aee02e47f9
Select Git revision
Branches
3
master
default
fix-bibtex-unicode-filter
dataspy-hacking
3 results
psvg.doc.ic.ac.uk
slides
Author
Search by author
Any Author
authors
xr119
xr119
1 author
Apr 06, 2018
Upload New File
· a74bb58a
Teresa Carbajo-Garcia
authored
6 years ago
a74bb58a
Delete Kobeissi- Towards Formal Verification in Cryptographic Web Applications.pdf
· 7d4654c8
Teresa Carbajo-Garcia
authored
6 years ago
7d4654c8
Upload New File
· e94c691b
Teresa Carbajo-Garcia
authored
6 years ago
e94c691b
Mar 23, 2018
JaVerT
· 22a7eb0e
pmaksimo
authored
7 years ago
22a7eb0e
Mar 22, 2018
add more slides
· 4d3ca7bc
Shale XIONG
authored
7 years ago
4d3ca7bc
add slides
· f802a5ad
Shale XIONG
authored
7 years ago
f802a5ad
Loading
Shale XIONG authored
Shale XIONG authored
