![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Alessandro Cilardo
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j38]Alessandro Cilardo
, Vincenzo Maisto
, Nicola Mazzocca
, Franca Rocco di Torrepadula
:
An Approach to the Systematic Characterization of Multitask Accelerated CNN Inference in Edge MPSoCs. ACM Trans. Embed. Comput. Syst. 23(3): 48:1-48:25 (2024) - 2022
- [j37]Alessandro Cilardo, Marcello Cinque
, Luigi De Simone
, Nicola Mazzocca:
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things. Computer 55(10): 35-47 (2022) - 2021
- [j36]Alessandro Biondi, Daniel Casini
, Giorgiomaria Cicero, Niccolò Borgioli, Giorgio C. Buttazzo, Gaetano Patti, Luca Leonardi
, Lucia Lo Bello
, Marco Solieri
, Paolo Burgio, Ignacio Sanudo Olmedo, Angelo Ruocco, Luca Palazzi, Marko Bertogna, Alessandro Cilardo, Nicola Mazzocca, Antonino Mazzeo:
SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms. IEEE Access 9: 75446-75459 (2021) - [j35]Ramon Canal
, Carles Hernández, Rafael Tornero, Alessandro Cilardo, Giuseppe Massari, Federico Reghenzani
, William Fornaciari
, Marina Zapater, David Atienza, Ariel Oleksiak
, Wojciech Piatek, Jaume Abella
:
Predictive Reliability and Fault Management in Exascale Systems: State of the Art and Perspectives. ACM Comput. Surv. 53(5): 95:1-95:32 (2021) - [j34]Alessandro Cilardo:
Evaluation of HPC Acceleration and Interconnect Technologies for High-Throughput Data Acquisition. Sensors 21(22): 7759 (2021) - 2020
- [j33]Raffaele Martino
, Alessandro Cilardo
:
SHA-2 Acceleration Meeting the Needs of Emerging Applications: A Comparative Survey. IEEE Access 8: 28415-28436 (2020) - [j32]Alessandro Cilardo, Mirko Gagliardi, Daniele Passaretti
:
Hardware support for thread synchronisation in an experimental manycore system. Int. J. Grid Util. Comput. 11(1): 62-71 (2020) - [j31]Raffaele Martino, Alessandro Cilardo:
Designing a SHA-256 processor for blockchain-based IoT applications. Internet Things 11: 100254 (2020) - [j30]Giovanni Agosta, William Fornaciari
, David Atienza, Ramon Canal, Alessandro Cilardo, José Flich Cardo
, Carles Hernández, Michal Kulczewski, Giuseppe Massari, Rafael Tornero Gavilá, Marina Zapater:
The RECIPE approach to challenges in deeply heterogeneous high performance systems. Microprocess. Microsystems 77: 103185 (2020) - 2019
- [j29]Raffaele Martino
, Alessandro Cilardo
:
A Flexible Framework for Exploring, Evaluating, and Comparing SHA-2 Designs. IEEE Access 7: 72443-72456 (2019) - 2018
- [j28]Alessandro Cilardo, Nicola Mazzocca, Paolo Prinetto:
An abstraction layer enabling pervasive hardware-reconfigurable systems. Int. J. Embed. Syst. 10(5): 366-377 (2018) - [j27]Alessandro Cilardo:
HtComp: bringing reconfigurable hardware to future high-performance applications. Int. J. High Perform. Comput. Netw. 12(1): 74-83 (2018) - [j26]Edoardo Fusella
, Alessandro Cilardo:
Reducing Power Consumption of Lasers in Photonic NoCs through Application-Specific Mapping. ACM J. Emerg. Technol. Comput. Syst. 14(2): 23:1-23:11 (2018) - [j25]José Flich
, Giovanni Agosta
, Philipp Ampletzer, David Atienza Alonso, Carlo Brandolese, Etienne Cappe
, Alessandro Cilardo, Leon Dragic, Alexandre Dray, Alen Duspara, William Fornaciari
, Edoardo Fusella, Mirko Gagliardi, Gerald Guillaume, Daniel Hofman
, Ynse Hoornenborg, Arman Iranfar, Mario Kovac, Davide Zoni
:
Exploring manycore architectures for next-generation HPC systems through the MANGO approach. Microprocess. Microsystems 61: 154-170 (2018) - [j24]Davide Zoni
, Luca Cremona, Alessandro Cilardo, Mirko Gagliardi, William Fornaciari
:
PowerTap: All-digital power meter modeling for run-time power monitoring. Microprocess. Microsystems 63: 128-139 (2018) - [j23]Domenico Amelino, Mario Barbareschi
, Alessandro Cilardo:
An IP Core Remote Anonymous Activation Protocol. IEEE Trans. Emerg. Top. Comput. 6(2): 258-268 (2018) - [j22]Edoardo Fusella
, Alessandro Cilardo
:
Lattice-Based Turn Model for Adaptive Routing. IEEE Trans. Parallel Distributed Syst. 29(5): 1117-1130 (2018) - 2017
- [j21]Edoardo Fusella, José Flich
, Alessandro Cilardo:
Path Setup for Hybrid NoC Architectures Exploiting Flooding and Standby. IEEE Trans. Parallel Distributed Syst. 28(5): 1403-1416 (2017) - [j20]Edoardo Fusella
, Alessandro Cilardo:
H2ONoC: A Hybrid Optical-Electronic NoC Based on Hybrid Topology. IEEE Trans. Very Large Scale Integr. Syst. 25(1): 330-343 (2017) - 2016
- [j19]Alessandro Cilardo, Edoardo Fusella:
Design automation for application-specific on-chip interconnects: A survey. Integr. 52: 102-121 (2016) - [j18]Edoardo Fusella, Alessandro Cilardo:
Minimizing power loss in optical networks-on-chip through application-specific mapping. Microprocess. Microsystems 43: 4-13 (2016) - [j17]Edoardo Fusella, Alessandro Cilardo:
Crosstalk-Aware Automated Mapping for Optical Networks-on-Chip. ACM Trans. Embed. Comput. Syst. 16(1): 16:1-16:26 (2016) - 2015
- [j16]Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo
:
Exploiting Concurrency for the Automated Synthesis of MPSoC Interconnects. ACM Trans. Embed. Comput. Syst. 14(3): 57:1-57:24 (2015) - [j15]Alessandro Cilardo:
New Techniques and Tools for Application-Dependent Testing of FPGA-Based Components. IEEE Trans. Ind. Informatics 11(1): 94-103 (2015) - 2014
- [j14]Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo
, Nicola Mazzocca
:
Automated design space exploration for FPGA-based heterogeneous interconnects. Des. Autom. Embed. Syst. 18(3-4): 157-170 (2014) - [j13]Alessandro Cilardo, Mario Barbareschi
, Antonino Mazzeo
:
Secure distribution infrastructure for hardware digital contents. IET Comput. Digit. Tech. 8(6): 300-310 (2014) - [j12]Alessandro Cilardo, Dario Socci, Nicola Mazzocca
:
ASP-based optimized mapping in a simulink-to-MPSoC design flow. J. Syst. Archit. 60(1): 108-118 (2014) - [j11]Alessandro Cilardo, Luca Gallo:
Improving Multibank Memory Access Parallelism with Lattice-Based Partitioning. ACM Trans. Archit. Code Optim. 11(4): 45:1-45:25 (2014) - [j10]Alessandro Cilardo, Davide De Caro
, Nicola Petra
, Francesco Caserta, Nicola Mazzocca
, Ettore Napoli, Antonio Giuseppe Maria Strollo:
High Speed Speculative Multipliers Based on Speculative Carry-Save Tree. IEEE Trans. Circuits Syst. I Regul. Pap. 61-I(12): 3426-3435 (2014) - 2013
- [j9]Alessandro Cilardo, Luca Gallo, Nicola Mazzocca
:
Design space exploration for high-level synthesis of multi-threaded applications. J. Syst. Archit. 59(10-D): 1171-1183 (2013) - [j8]Alessandro Cilardo:
Fast Parallel GF(2^m) Polynomial Multiplication for All Degrees. IEEE Trans. Computers 62(5): 929-943 (2013) - [j7]Alessandro Cilardo, Nicola Mazzocca
:
Exploiting Vulnerabilities in Cryptographic Hash Functions Based on Reconfigurable Hardware. IEEE Trans. Inf. Forensics Secur. 8(5): 810-820 (2013) - 2011
- [j6]Alessandro Cilardo:
Exploring the Potential of Threshold Logic for Cryptography-Related Operations. IEEE Trans. Computers 60(4): 452-462 (2011) - 2009
- [j5]Alessandro Cilardo:
Efficient Bit-Parallel GF(2^m) Multiplier for a Large Class of Irreducible Pentanomials. IEEE Trans. Computers 58(7): 1001-1008 (2009) - 2007
- [j4]Alessandro Cilardo, Domenico Cotroneo, Cristiano di Flora, Antonino Mazzeo, Luigi Romano, Stefano Russo:
Design and implementation of a high performance architecture for providing digital time stamping services to mobile devices. Comput. Syst. Sci. Eng. 22(3) (2007) - 2006
- [j3]Alessandro Cilardo, Luigi Coppolino
, Nicola Mazzocca
, Luigi Romano:
Elliptic Curve Cryptography Engineering. Proc. IEEE 94(2): 395-406 (2006) - 2004
- [j2]Alessandro Cilardo, Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Giuseppe Cattaneo:
A Web Services Based Architecture for Digital Time Stamping. J. Web Eng. 2(3): 148-175 (2004) - [j1]Alessandro Cilardo, Antonino Mazzeo
, Luigi Romano, Giacinto Paolo Saggese:
Exploring the design-space for FPGA-based implementation of RSA. Microprocess. Microsystems 28(4): 183-191 (2004)
Conference and Workshop Papers
- 2024
- [c54]Stefano Mercogliano, Daniele Ottaviano, Alessandro Cilardo, Marcello Cinque:
Lightweight and Predictable Memory Virtualization on Medium-Size Microcontrollers. DATE 2024: 1-2 - 2022
- [c53]Vincenzo Maisto
, Alessandro Cilardo:
A Pluggable Vector Unit for RISC-V Vector Extension. DATE 2022: 1143-1148 - [c52]Alessandro Cilardo
, Vincenzo Maisto
, Nicola Mazzocca
, Franca Rocco di Torrepadula
:
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection. QUATIC 2022: 239-249 - 2021
- [c51]Marco Aldinucci
, Giovanni Agosta, Antonio Andreini
, Claudio Agostino Ardagna
, Andrea Bartolini, Alessandro Cilardo, Biagio Cosenza
, Marco Danelutto, Roberto Esposito
, William Fornaciari
, Roberto Giorgi, Davide Lengani, Raffaele Montella, Mauro Olivieri, Sergio Saponara
, Daniele Simoni, Massimo Torquati:
The Italian research on HPC key technologies across EuroHPC. CF 2021: 178-184 - [c50]Alessandro Cilardo, Stefano Mercogliano:
FPGA-based real-time monitoring support for CAN applications. DSD 2021: 101-106 - [c49]Alessandro Cilardo:
Memory Encryption Support for an FPGA-based RISC-V Implementation. DTIS 2021: 1-5 - 2019
- [c48]Raffaele Martino, Alessandro Cilardo:
A Configurable Implementation of the SHA-256 Hash Function. 3PGCIC 2019: 558-567 - [c47]Alessandro Cilardo, Mirko Gagliardi, Vincenzo Scotti:
Lightweight hardware support for selective coherence in heterogeneous manycore accelerators. DATE 2019: 932-935 - [c46]Giovanni Agosta, William Fornaciari
, David Atienza, Ramon Canal, Alessandro Cilardo, José Flich
, Carles Hernández
, Michal Kulczewski, Giuseppe Massari, Rafael Tornero Gavilá, Marina Zapater:
Challenges in Deeply Heterogeneous High Performance Systems. DSD 2019: 428-435 - 2018
- [c45]Edoardo Fusella, Alessandro Cilardo:
Understanding turn models for adaptive routing: The modular approach. DATE 2018: 1477-1480 - [c44]Mirko Gagliardi, Edoardo Fusella, Alessandro Cilardo:
Improving Deep Learning with a customizable GPU-like FPGA-based accelerator. PRIME 2018: 273-276 - [c43]William Fornaciari
, Giovanni Agosta, David Atienza, Carlo Brandolese, Leila Cammoun, Luca Cremona, Alessandro Cilardo, Albert Farrés, José Flich
, Carles Hernández
, Michal Kulchewski, Simone Libutti, José Maria Martínez, Giuseppe Massari
, Ariel Oleksiak
, Anna Pupykina, Federico Reghenzani
, Rafael Tornero, Michele Zanella
, Marina Zapater, Davide Zoni
:
Reliable power and time-constraints-aware predictive management of heterogeneous exascale systems. SAMOS 2018: 187-194 - 2017
- [c42]Alessandro Cilardo, Mirko Gagliardi, Daniele Passaretti
:
NoC-Based Thread Synchronization in a Custom Manycore System. 3PGCIC 2017: 673-682 - [c41]José Flich
, Giovanni Agosta
, Philipp Ampletzer, David Atienza Alonso, Carlo Brandolese, Etienne Cappe, Alessandro Cilardo, Leon Dragic, Alexandre Dray, Alen Duspara, William Fornaciari
, Gerald Guillaume, Ynse Hoornenborg, Arman Iranfar, Mario Kovac, Simone Libutti, Bruno Maitre, José Maria Martínez, Giuseppe Massari
, Hrvoje Mlinaric
, Ermis Papastefanakis, Tomás Picornell
, Igor Piljic, Anna Pupykina, Federico Reghenzani
, Isabelle Staub, Rafael Tornero, Marina Zapater
, Davide Zoni
:
MANGO: Exploring Manycore Architectures for Next-GeneratiOn HPC Systems. DSD 2017: 478-485 - [c40]Domenico Amelino, Mario Barbareschi, Alessandro Cilardo:
A Proposal for the Secure Activation and Licensing of FPGA IP Cores. ITASEC 2017: 29-37 - [c39]José Flich
, Alessandro Cilardo, Mario Kovaç, Rafael Tornero, Mirko Gagliardi, Edoardo Fusella, José Maria Martínez, Tomás Picornell
:
Deeply Heterogeneous Many-Accelerator Infrastructure for HPC Architecture Exploration. PARCO 2017: 381-389 - [c38]Rossella Arcucci
, Davide Basciano, Alessandro Cilardo, Luisa D'Amore
, Filippo Mantovani
:
Energy Analysis of a 4D Variational Data Assimilation Algorithm and Evaluation on ARM-Based HPC Systems. PPAM (2) 2017: 37-47 - 2016
- [c37]Alessandro Cilardo, Mirko Gagliardi, Ciro Donnarumma:
A Configurable Shared Scratchpad Memory for GPU-like Processors. 3PGCIC 2016: 3-14 - [c36]Mario Barbareschi
, Alessandro Cilardo, Antonino Mazzeo:
Partial FPGA bitstream encryption enabling hardware DRM in mobile environments. Conf. Computing Frontiers 2016: 443-448 - [c35]Edoardo Fusella, Alessandro Cilardo:
PhoNoCMap: An application mapping tool for photonic networks-on-chip. DATE 2016: 289-292 - [c34]José Flich, Giovanni Agosta, Philipp Ampletzer, David Atienza Alonso, Carlo Brandolese, Alessandro Cilardo, William Fornaciari, Ynse Hoornenborg, Mario Kovac, Bruno Maitre, Giuseppe Massari, Hrvoje Mlinaric, Ermis Papastefanakis, Fabrice Roudet, Rafael Tornero, Davide Zoni:
Enabling HPC for QoS-sensitive applications: The MANGO approach. DATE 2016: 702-707 - [c33]Alessandro Cilardo, Domenico Argenziano:
Securing the cloud with reconfigurable computing: An FPGA accelerator for homomorphic encryption. DATE 2016: 1622-1627 - 2015
- [c32]Alessandro Cilardo:
The HtComp Research Project: An Overview. 3PGCIC 2015: 510-514 - [c31]José Flich
, Giovanni Agosta
, Philipp Ampletzer, David Atienza Alonso, Alessandro Cilardo, William Fornaciari
, Mario Kovac, Fabrice Roudet, Davide Zoni
:
The MANGO FET-HPC Project: An Overview. CSE 2015: 351-354 - [c30]Alessandro Cilardo, Luca Gallo:
Interplay of loop unrolling and multidimensional memory partitioning in HLS. DATE 2015: 163-168 - [c29]Alessandro Cilardo:
Variable-latency signed addition on FPGAs. FPL 2015: 1-6 - [c28]Edoardo Fusella, Alessandro Cilardo, Antonino Mazzeo:
Scheduling-aware interconnect synthesis for FPGA-based Multi-Processor Systems-on-Chip. FPL 2015: 1-2 - [c27]Edoardo Fusella, José Flich
, Alessandro Cilardo, Antonino Mazzeo
:
On the Design of a Path-Setup Architecture for Exploiting Hybrid Photonic-Electronic NoCs. SiPhotonics@HiPEAC 2015: 9-16 - [c26]Edoardo Fusella, Alessandro Cilardo:
Crosstalk-Aware Mapping for Tile-Based Optical Network-on-Chip. HPCC/CSS/ICESS 2015: 1139-1142 - [c25]Alessandro Cilardo, José Flich
, Mirko Gagliardi, Rafael Tornero Gavilá:
Customizable Heterogeneous Acceleration for Tomorrow's High-Performance Computing. HPCC/CSS/ICESS 2015: 1181-1185 - 2014
- [c24]Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo:
Joint communication scheduling and interconnect synthesis for FPGA-based many-core systems. DATE 2014: 1-4 - [c23]Alessandro Cilardo, Luca Gallo:
Generating On-Chip Heterogeneous Systems from High-Level Parallel Code. DSD 2014: 161-168 - [c22]Luca Gallo, Alessandro Cilardo, David B. Thomas, Samuel Bayliss, George A. Constantinides:
Area implications of memory partitioning for high-level synthesis on FPGAs. FPL 2014: 1-4 - 2013
- [c21]Alessandro Cilardo, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca
:
Efficient and scalable OpenMP-based system-level design. DATE 2013: 988-991 - [c20]Alessandro Cilardo, Edoardo Fusella, Luca Gallo, Antonino Mazzeo
:
Automated synthesis of FPGA-based heterogeneous interconnect topologies. FPL 2013: 1-8 - [c19]Alessandro Cilardo:
Heterogeneous Computing vs. Big Data: The Case of Cryptanalytical Applications. ICA3PP (2) 2013: 177-184 - [c18]Alessandro Cilardo, Nicola Mazzocca
, Paolo Prinetto:
Exploring a New Dimension in Code Mobility for Ubiquitous Embedded Systems. UIC/ATC 2013: 56-63 - [c17]Alessandro Cilardo, Nicola Mazzocca
, Luigi Coppolino:
TrustedSIM: Towards Unified Mobile Security. UIC/ATC 2013: 563-568 - 2011
- [c16]Alessandro Cilardo:
The potential of reconfigurable hardware for HPC cryptanalysis of SHA-1. DATE 2011: 998-1003 - [c15]Alessandro Cilardo, Carmelo Lofiego, Antonino Mazzeo
, Nicola Mazzocca
:
Revisiting Application-Dependent Test for FPGA Devices. ETS 2011: 213 - 2010
- [c14]Alessandro Cilardo, Paolo Durante, Carmelo Lofiego, Antonino Mazzeo
:
Early Prediction of Hardware Complexity in HLL-to-HDL Translation. FPL 2010: 483-488 - [c13]Alessandro Cilardo, Luigi Esposito, Antonio Veniero, Antonino Mazzeo
, Vicenç Beltran
, Eduard Ayguadé
:
A CellBE-based HPC Application for the Analysis of Vulnerabilities in Cryptographic Hash Functions. HPCC 2010: 450-457 - 2009
- [c12]Alessandro Cilardo:
A new speculative addition architecture suitable for two's complement operations. DATE 2009: 664-669 - 2008
- [c11]Alessandro Cilardo, Nicola Mazzocca
, Luigi Coppolino:
Virtual Scan Chains for Online Testing of FPGA-based Embedded Systems. DSD 2008: 360-366 - [c10]Alessandro Cilardo, Nicola Mazzocca
:
Time Efficient Dual-Field Unit for Cryptography-Related Processing. VLSI-SoC (Selected Papers) 2008: 191-210 - 2007
- [c9]Alessandro Cilardo, Luigi Coppolino, Antonino Mazzeo
, Luigi Romano:
Combining Programmable Hardware and Web Services Technologies for Delivering High-Performance and Interoperable Security. PDP 2007: 381-386 - [c8]Alessandro Cilardo, Luigi Coppolino, Antonino Mazzeo
, Luigi Romano:
Performance Evaluation of Security Services: An Experimental Approach. PDP 2007: 387-394 - [c7]Ferdinando Campanile, Alessandro Cilardo, Luigi Coppolino, Luigi Romano:
Adaptable Parsing of Real-Time Data Streams. PDP 2007: 412-418 - 2005
- [c6]Alessandro Cilardo, Antonino Mazzeo
, Nicola Mazzocca
, Luigi Romano:
A Novel Unified Architecture for Public-Key Cryptography. DATE 2005: 52-57 - [c5]Alessandro Cilardo, Luigi Coppolino
, Antonino Mazzeo
, Luigi Romano:
High-Performance and Interoperable Security Services for Mobile Environments. HPCC 2005: 1064-1069 - [c4]Alfredo Benso
, Alessandro Cilardo, Nicola Mazzocca
, Liviu Miclea, Paolo Prinetto, Szilárd Enyedi
:
Reconfigurable systems self-healing using mobile hardware agents. ITC 2005: 9 - [c3]Alessandro Cilardo, Antonino Mazzeo
, Luigi Romano:
An FPGA-based Key-Store for Improving the Dependability of Security Services. WORDS 2005: 389-396 - 2004
- [c2]Alessandro Cilardo, Antonino Mazzeo
, Luigi Romano, Giacinto Paolo Saggese:
Carry-Save Montgomery Modular Exponentiation on Reconfigurable Hardware. DATE 2004: 206-211 - 2003
- [c1]Alessandro Cilardo, Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Giuseppe Cattaneo:
Using Web Services Technology for Inter-enterprise Integration of Digital Time Stamping. OTM Workshops 2003: 960-974
Editorship
- 2018
- [e1]Sören Sonntag, José Manuel García Carrasco, Sébastien Rumley, Alessandro Cilardo:
Proceedings of the 3rd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems, AISTECS 2018, Manchester, United Kingdom, January 22-22, 2018. ACM 2018 [contents]
Informal and Other Publications
- 2021
- [i3]Giovanni Agosta, William Fornaciari, David Atienza, Ramon Canal, Alessandro Cilardo, José Flich Cardo, Carles Hernández Luz, Michal Kulczewski, Giuseppe Massari, Rafael Tornero Gavilá, Marina Zapater:
The RECIPE Approach to Challenges in Deeply Heterogeneous High Performance Systems. CoRR abs/2103.03044 (2021) - [i2]Alessandro Cilardo, Marcello Cinque, Luigi De Simone, Nicola Mazzocca:
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT. CoRR abs/2112.15404 (2021) - 2017
- [i1]Alessandro Cilardo, Andrea Primativo:
Verification of FPGA-augmented trusted computing mechanisms based on Applied Pi Calculus. IACR Cryptol. ePrint Arch. 2017: 1246 (2017)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint