WELCOME TO AIBlock 2020
2nd International Workshop on Application Intelligence and Blockchain Security (AIBlock)
The detailed program is available at: Program
Program:
19th October 2020 (CEST time)
13:45 - 14:00
Welcome
Workshop chairs
14:00 - 15:15
Session 1:
- Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
by Carlos Luna, Gustavo Betarte, Maximiliano Cristia, Adrian Silveira and Dante Zanarini
- Secure Management of IoT Devices based on Blockchain Non-Fungible Tokens and Physical Unclonable Functions
by Javier Arcenegui, Rosario Arjona and Iluminada Baturone
- Bitcoin Blockchain Steganographic Analysis
by Alexandre Augusto Giron, Ricardo Custodio and Jean Everson Martina
15:15 - 15:25
Break
15:25 - 16:15
Session 2:
- Dynamic Group Key Agreement for Resource-Constrained Devices using Blockchains
by Yasar Berkay Tacyildiz, Orhan Ermis, Gurkan Gur and Fatih Alagoz
- Tokenization of Real Estate Using Blockchain Technology
by Ashutosh Gupta, Jash Rathod, Dhiren Patel, Jay Bothra, Sanket Shanbhag and Tanmay Bhalerao
Program:
19th October 2020 (CEST time)
13:45 - 14:00
Welcome
Workshop chairs
14:00 - 15:15
Session 1:
- Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
by Carlos Luna, Gustavo Betarte, Maximiliano Cristia, Adrian Silveira and Dante Zanarini
- Secure Management of IoT Devices based on Blockchain Non-Fungible Tokens and Physical Unclonable Functions
by Javier Arcenegui, Rosario Arjona and Iluminada Baturone
- Bitcoin Blockchain Steganographic Analysis
by Alexandre Augusto Giron, Ricardo Custodio and Jean Everson Martina
15:15 - 15:25
Break
15:25 - 16:15
Session 2:
- Dynamic Group Key Agreement for Resource-Constrained Devices using Blockchains
by Yasar Berkay Tacyildiz, Orhan Ermis, Gurkan Gur and Fatih Alagoz
- Tokenization of Real Estate Using Blockchain Technology
by Ashutosh Gupta, Jash Rathod, Dhiren Patel, Jay Bothra, Sanket Shanbhag and Tanmay Bhalerao
