Francisco Corella

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 3

Top Topics

Authentication Protocol

Encryption Decryption

Secure Communication

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Francisco Corella
Overcoming the UX Challenges Faced by FIDO Credentials in the Consumer Space. HCI (35) (2023)
Francisco Corella, Karen Pomian Lewison
An Omission-Tolerant Cryptographic Checksum. IACR Cryptol. ePrint Arch. 2019 (2019)
Francisco Corella, Karen Pomian Lewison
Frictionless Web Payments with Cryptographic Cardholder Authentication. HCI (LBP) (2019)
Francisco Corella, Karen Pomian Lewison
Identity-based protocol design patterns for machine-to-machine secure channels. CNS (2014)
Francisco Corella
A Fast Implementation of DES and Triple-DES on PA-RISC 2.0. WIESS (2000)
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV (1998)
Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny
Multiway Decision Graphs for Automated Hardware Verification. Formal Methods Syst. Des. 10 (1) (1997)
Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou
Verification with Abstract State Machines Using MDGs. Formal Hardware Verification (1997)
Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin
Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD (1996)
K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
MDG Tools for the Verification of RTL Designs. CAV (1996)
Francisco Corella, Michelle Kim
Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems. SEKE (1996)
Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin
Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI (1995)
Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song
State enumeration with abstract descriptions of state machines. CHARME (1995)
Francisco Corella
Automated Verification of Behavioral Equivalence for Microprocessors. IEEE Trans. Computers 43 (1) (1994)
Francisco Corella
Automated High-level Verification Against Clocked Algorithmic Specifications. CHDL (1993)
Francisco Corella
What Holds in a Context? J. Autom. Reason. 10 (1) (1993)
Francisco Corella, S. Jerrold Kaplan, Gio Wiederhold, Lena Yesil
Cooperative Responses to Boolean Queries. ICDE (1984)
Francisco Corella
Semantic Retrieval and Levels of Abstraction. Expert Database Workshop (1984)