ARTÍCULO
TITULO

Proof Techniques for Cryptographic Processes

Boreale    
M. De Nicola    
R. Pugliese    
R.    

Resumen

No disponible

 Artículos similares

       
 
Konstantinos Evangelidis, Theofilos Papadopoulos and Stella Sylaiou    
We put forward a conceptualization of Mixed Reality as a blend of digital objects with real ones that coexist and interact with each other and they are also spatially referenced so that they are properly perceived in space by an observer that could poten... ver más
Revista: Applied Sciences

 
James Flynn and Cinzia Giannetti    
With Electric Vehicles (EV) emerging as the dominant form of green transport in the UK, it is critical that we better understand existing infrastructures in place to support the uptake of these vehicles. In this multi-disciplinary paper, we demonstrate a... ver más
Revista: AI

 
Tobias Rupp and Stefan Funke    
We prove a Ω(n)" role="presentation">O(??--v)O(n) O ( n ) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph fam... ver más
Revista: Algorithms

 
Sarwar Sayeed and Hector Marco-Gisbert    
The blockchain is a distributed ledger technology that is growing in importance since inception. Besides cryptocurrencies, it has also crossed its boundary inspiring various organizations, enterprises, or business establishments to adopt this technology ... ver más
Revista: Applied Sciences

 
Ervin Hoxha, Yolanda Vidal and Francesc Pozo    
Cost-competitiveness of offshore wind depends heavily in its capacity to switch preventive maintenance to condition-based maintenance. That is, to monitor the actual condition of the wind turbine (WT) to decide when and which maintenance needs to be done... ver más
Revista: Applied Sciences