39 citations · 56 across the 13 of their papers we have counts for
13 papers
Implementing Security Protocol Monitors
Yannick Chevalier, Michaël Rusinowitch
Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations i…
Private Link Exchange over Social Graphs
Hiep H. Nguyen, Abdessamad Imine, Michael Rusinowitch
Currently, most of the online social networks (OSN) keep their data secret and in centralized manner. Researchers are allowed to crawl the underlying social graphs (and data) but w…
Detecting Communities under Differential Privacy
Hiep H. Nguyen, Abdessamad Imine, Michael Rusinowitch
Complex networks usually expose community structure with groups of nodes sharing many links with the other nodes in the same group and relatively few with the nodes of the rest. Th…
Anonymizing Social Graphs via Uncertainty Semantics
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch
Rather than anonymizing social graphs by generalizing them to super nodes/edges or adding/removing nodes and edges to satisfy given privacy parameters, recent methods exploit the s…
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Siva Anantharaman, Christopher Bouchard, Paliath Narendran +1
We investigate unification problems related to the Cipher Block Chaining (CBC) mode of encryption. We first model chaining in terms of a simple, convergent, rewrite system over a s…
Compiling symbolic attacks to protocol implementation tests
Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch
Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but th…