Skip to content

@inesc-id INESC-ID

Change the repository type filter

All

    Repositories list

    38 repositories

    • ambix

      Public
      ambix repository. Contact: João Pedro Barreto
      C
      •0•1•0•0•Updated Oct 22, 2024Oct 22, 2024

    • dumbo

      Public
      dumbo project, led by Prof. João Pedro Barreto
      C
      •0•0•0•0•Updated Aug 19, 2024Aug 19, 2024

    • SoverChain

      Public
      SoverChain: Self-Sovereign Identity on the Blockchain. Work by Bruno G L S Gomes, David R Matos and Miguel L Pardal.
      Python
      •
      MIT License
      •1•1•0•0•Updated Oct 31, 2023Oct 31, 2023

    • MultiTLS

      Public
      Secure channel with cipher diversity
      C
      •
      MIT License
      •0•0•0•0•Updated May 14, 2023May 14, 2023

    • BibTrek

      Public
      BibTrek: Bibliography exploration tool (prototype by José Brás). To boldly go where no researcher has gone before!
      Java
      •1•1•0•1•Updated Apr 14, 2023Apr 14, 2023

    • SureThing-LXspots

      Public
      SureThing project -- Wi-Fi access point dataset collected in the city of Lisbon, Portugal -- By Rui Claro
      MIT License
      •0•0•0•0•Updated Aug 4, 2022Aug 4, 2022

    • SecurityTaxonomy

      Public
      A taxonomy of cybersecurity standards and tools
      0•1•0•0•Updated Oct 30, 2021Oct 30, 2021

    • SureThingTournament

      Public template
      SureThing Offensive Security Tournament instructions and materials
      0•0•0•0•Updated Oct 28, 2021Oct 28, 2021

    • MIRES

      Public
      MIRES: Recovering from Cyber Attacks in Mobile Applications with Backend-as-a-Service
      Java
      •
      MIT License
      •2•0•0•0•Updated Jul 1, 2021Jul 1, 2021

    • covsense

      Public
      🦠 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.
      Java
      •
      Apache License 2.0
      •8•0•0•0•Updated May 11, 2021May 11, 2021

    • STAKE

      Public
      Secure Tracing of Anomalies using previous Knowledge and Extensions
      JavaScript
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 13, 2021Apr 13, 2021

    • firebase-firestore-chat-app

      Public
      Kotlin
      •52•0•0•0•Updated Aug 30, 2020Aug 30, 2020

    • dclaims-pm

      Public
      TeX
      •
      MIT License
      •1•6•2•0•Updated Jul 4, 2020Jul 4, 2020

    • Firestore-ShoppingListApp

      Public
      Shopping List App Tutorial using Cloud Firestore and Android
      Java
      •7•0•0•0•Updated Nov 17, 2019Nov 17, 2019

    • SafeCloudFS

      Public
      SafeCloud File System. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
      Java
      •
      MIT License
      •6•3•0•0•Updated Sep 20, 2018Sep 20, 2018

    • S-Audit

      Public
      SafeCloud integrity verification service. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
      Java
      •
      MIT License
      •0•0•0•0•Updated Aug 2, 2018Aug 2, 2018

    • vtTLS

      Public
      SafeCloud vulnerability-tolerant channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
      C
      •
      MIT License
      •1•1•0•0•Updated Aug 2, 2018Aug 2, 2018

    • DepSpacito

      Public
      This is a fork of the DepSpace project intended for stability and improvements. Please credit the original project.
      Java
      •10•0•0•0•Updated Jul 24, 2018Jul 24, 2018

    • Premium

      Public
      SafeCloud route-aware channels. The SafeCloud project developed security solutions intended to be secure even against powerful, motivated and well-funded adversaries.
      C
      •
      MIT License
      •1•1•0•0•Updated Jul 23, 2018Jul 23, 2018

    • dclaims-news

      Public
      Hypercerts is a Verifiable Claims Manager
      JavaScript
      •
      MIT License
      •6•6•5•0•Updated May 22, 2018May 22, 2018

    • dclaims-core

      Public
      hypercerts-core
      JavaScript
      •
      MIT License
      •2•2•1•0•Updated Apr 25, 2018Apr 25, 2018

    • bgp

      Public
      Python
      •0•0•0•0•Updated Jan 12, 2018Jan 12, 2018

    • WeSee

      Public
      WeSee: dynamic visualization of Web Service use
      visualizationnetwork
      JavaScript
      •0•2•0•0•Updated Jan 9, 2018Jan 9, 2018

    • This4That

      Public
      Secure incentive scheme for Internet of Things data sharing
      C#
      •
      MIT License
      •0•0•0•0•Updated Nov 5, 2017Nov 5, 2017

    • SCFS

      Public
      Java
      •8•0•0•0•Updated Aug 1, 2017Aug 1, 2017

    • depsky

      Public
      Java
      •10•0•0•0•Updated Aug 1, 2017Aug 1, 2017

    • contiki

      Public
      The official git repository for Contiki, the open source OS for the Internet of Things
      C
      •
      Other
      •2.6k•0•0•0•Updated Dec 14, 2016Dec 14, 2016

    • 6lbr

      Public
      A deployment-ready 6LoWPAN Border Router solution based on Contiki
      C
      •
      Other
      •194•0•0•0•Updated Dec 9, 2016Dec 9, 2016

    • ulinux

      Public
      Makefile
      •2•0•0•0•Updated Nov 1, 2016Nov 1, 2016

    • sKnock

      Public
      Port-Knocking using certificates instead of pre-shared keys
      Python
      •
      GNU General Public License v3.0
      •5•0•0•0•Updated Aug 25, 2016Aug 25, 2016