Pinned Repositories
ambix
ambix repository. Contact: João Pedro Barreto
BibTrek
BibTrek: Bibliography exploration tool (prototype by José Brás). To boldly go where no researcher has gone before!
dclaims-core
hypercerts-core
dclaims-news
Hypercerts is a Verifiable Claims Manager
dclaims-pm
Premium
SafeCloud route-aware channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
SafeCloudFS
SafeCloud File System. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
SecurityTaxonomy
A taxonomy of cybersecurity standards and tools
vtTLS
SafeCloud vulnerability-tolerant channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
WeSee
WeSee: dynamic visualization of Web Service use
INESC-ID's Repositories
inesc-id/dclaims-news
Hypercerts is a Verifiable Claims Manager
inesc-id/dclaims-pm
inesc-id/SafeCloudFS
SafeCloud File System. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
inesc-id/dclaims-core
hypercerts-core
inesc-id/WeSee
WeSee: dynamic visualization of Web Service use
inesc-id/ambix
ambix repository. Contact: João Pedro Barreto
inesc-id/BibTrek
BibTrek: Bibliography exploration tool (prototype by José Brás). To boldly go where no researcher has gone before!
inesc-id/Premium
SafeCloud route-aware channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
inesc-id/SecurityTaxonomy
A taxonomy of cybersecurity standards and tools
inesc-id/SoverChain
SoverChain: Self-Sovereign Identity on the Blockchain. Work by Bruno G L S Gomes, David R Matos and Miguel L Pardal.
inesc-id/vtTLS
SafeCloud vulnerability-tolerant channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
inesc-id/contiki
The official git repository for Contiki, the open source OS for the Internet of Things
inesc-id/dumbo
dumbo project, led by Prof. João Pedro Barreto
inesc-id/6lbr
A deployment-ready 6LoWPAN Border Router solution based on Contiki
inesc-id/bgp
inesc-id/covsense
🦠 An Android based contact tracing app which enables people to self-isolate if they have been in close proximity to someone tested positive for COVID-19.
inesc-id/depsky
inesc-id/DepSpacito
This is a fork of the DepSpace project intended for stability and improvements. Please credit the original project.
inesc-id/firebase-firestore-chat-app
inesc-id/Firestore-ShoppingListApp
Shopping List App Tutorial using Cloud Firestore and Android
inesc-id/medsky
inesc-id/MIRES
MIRES: Recovering from Cyber Attacks in Mobile Applications with Backend-as-a-Service
inesc-id/MultiTLS
Secure channel with cipher diversity
inesc-id/S-Audit
SafeCloud integrity verification service. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
inesc-id/SCFS
inesc-id/STAKE
Secure Tracing of Anomalies using previous Knowledge and Extensions
inesc-id/SureThing-LXspots
SureThing project -- Wi-Fi access point dataset collected in the city of Lisbon, Portugal -- By Rui Claro
inesc-id/SureThingTournament
SureThing Offensive Security Tournament instructions and materials
inesc-id/This4That
Secure incentive scheme for Internet of Things data sharing
inesc-id/ulinux