data by and about Pascal Mainini


You can reach me by mail:

I prefer encrypted communication, please use exclusively the following OpenPGP-keys:

Have a look at my current keysigning policy describing the usage of my keys (see also: 2.0, 1.1, 1.0).

There is a transition-statement regarding replacement of my previous key 0xC70EEE84E284ED60.

My keys can also be found on the usual keyservers. Please consider regular updates of your keyring!


Things I have written about.

  • Mainini, P., 2020, Das Prinzip hinter der SwissCovid-App

    An introduction to the SwissCovid App and the Google Apple Exposition Notification (GAEN) framework, BFH Präsenz Magazin (German).


    [PDF] [Präsenz 2 2020 (PDF)]

  • Mainini, P., 2019, Sanitizable and Redactable Signatures

    Project Report.



  • Grothoff, C., Schanzenbach, M., Laube, A., Benoist, E., Mainini, P., 2018, Decentralized Authentication for Self-Sovereign Identities using Name Systems


    [PDF] []

  • Mainini, P., Haenni, R., 2018, Outsourcing Modular Exponentiation in Cryptographic Web Applications

    22nd Conference on Financial Cryptography and Data Security 2018, Voting'18 Workshop.


    [PDF] [Voting'18 (PDF)]

    Extended version with additional algorithms (IACR Cryptology ePrint 2018/300):


    [PDF] []

  • Mainini, P., 2017, LoRa(WAN) Overview

    Introductory overview of LoRa and LoRaWAN technology, presented at CoSin 2017.



  • Mainini, P, 2017, Efficient and Secure Outsourcing of Modular Exponentiation

    Bachelor's Thesis.



  • Mainini, P., Laube, A., 2016, Access Control in Linked Data Using WebID

    12th International Conference on Semantic Systems - SEMANTICS 2016.


    [PDF] [CEUR-WS, Volume 1695] [arXiv:1610.04405]

    Extended version (arXiv ePrint 1611.03019):


    [PDF] [arXiv:1611.03019]

  • Mainini, P., 2014, WebID - Authentication and Authorisation in Linked Data

    Presentation about WebID and Linked Data. Seminar, BFH e-voting group.


    [PDF] []

  • Mainini, P., Hassenstein, G., 2014, Authentication and Authorization in the Semantic Web

    Article about authentication and authorization in the semantic web, BFH spirit Magazine 2/2014, P. 24-25.


    [PDF] []

  • Mainini, P., 2013, CV 3.0 Content Access Service — Architecture and Proof of Concept Implementation Specification

    Architecture document for the CV3.0 research project at BFH.


    [PDF] []


Things I have created or contributed to.

My own projects are also also mirrored at

  • ttnmapper

    Implementation of a mapper node for written in Python for the LoPy MCU. It can be used for finding gateways of The Things Network (TTN) and determine their reach.


  • famodulus

    A system consisting of a Java server and a client library in JavaScript for outsourcing modular exponentiations in multiplicative groups with a prime modulus. Based on my Bachelor's thesis.


  • persemid-usecase

    A proof-of-concept implementation for a usecase in the PerSemID-project.


  • nfc-nci-tests

    Testing functionality of the linux_libnfc-nci-library for interacting with NXP NFC controller chips.


  • stiam-sender

    Implementation of a proof-of-concept attribute authority component as defined by eCH standard 168.


  • p3-webid-proxy

    An HTTPS to HTTP proxy authenticating WebIDs.

    Developed as part of the Fusepool P3 research project at BFH.


  • webidp

    Identity Provider for WebID.

    Developed as part of the CV3.0 research project at BFH.


  • rswiki

    An approach for a RESTful and semantic wiki.


  • fusepool-uduvudu

    Uduvudu is an extensible and adaptive visualization framework for RDF Formated Data.

    It is part of the EU FP7 research project Fusepool.


  • semwebspeech

    Slides of presentations given on various occasions about semantic web-technologies.


  • vlandump

    Small utility for capturing network traffic and listing found VLAN-ids. Based on libpcap.