François Taïani
6
Documents
Publications
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Dietcoin: Hardening Bitcoin Transaction Verification Process For Mobile DevicesProceedings of the VLDB Endowment (PVLDB), 2019, 12 (12), pp.1946-1949. ⟨10.14778/3352063.3352106⟩
Article dans une revue
hal-02315154v1
|
|
Bringing secure Bitcoin transactions to your smartphoneProceedings of the 15th International Workshop on Adaptive and Reflective Middleware (ARM 2016), Dec 2016, Trento, Italy. pp.3:1-3:6, ⟨10.1145/3008167.3008170⟩
Communication dans un congrès
hal-01384461v1
|
|
Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systemsProceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. pp.197-206, ⟨10.1109/SRDS.2016.032⟩
Communication dans un congrès
hal-01344138v1
|
|
Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.51-65, ⟨10.1007/978-3-319-19129-4_5⟩
Communication dans un congrès
hal-01138365v2
|
|
Dietcoin: shortcutting the Bitcoin verification process for your smartphone[Research Report] RR-9162, Univ Rennes, Inria, CNRS, IRISA, France; Vrije Universiteit Amsterdam, The Netherlands; Athens University of Economics and Business, Greece. 2018, pp.1-17
Rapport
hal-01743995v1
|
|
D.1.3 – Protocols for emergent localities[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016
Rapport
hal-01343348v1
|