Francisco Corella

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