Francisco Corella

According to our database, Francisco Corella authored at least 18 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Overcoming the UX Challenges Faced by FIDO Credentials in the Consumer Space.

Francisco Corella

Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2023

2019

An Omission-Tolerant Cryptographic Checksum.

Francisco Corella, Karen Pomian Lewison

IACR Cryptol. ePrint Arch., 2019

Frictionless Web Payments with Cryptographic Cardholder Authentication.

Francisco Corella, Karen Pomian Lewison

Proceedings of the HCI International 2019 - Late Breaking Papers, 2019

2014

Identity-based protocol design patterns for machine-to-machine secure channels.

Francisco Corella, Karen Pomian Lewison

Proceedings of the IEEE Conference on Communications and Network Security, 2014

2000

A Fast Implementation of DES and Triple-DES on PA-RISC 2.0.

Francisco Corella

Proceedings of the First Workshop on Industrial Experiences with Systems Software, 2000

1998

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs.

Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Multiway Decision Graphs for Automated Hardware Verification.

Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny

Formal Methods Syst. Des., 1997

Verification with Abstract State Machines Using MDGs.

Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

1996

Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems.

Francisco Corella, Michelle Kim

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.

Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

MDG Tools for the Verification of RTL Designs.

K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Partitioning transition relations efficiently and automatically.

Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

State enumeration with abstract descriptions of state machines.

Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

Automated Verification of Behavioral Equivalence for Microprocessors.

Francisco Corella

IEEE Trans. Computers, 1994

1993

What Holds in a Context?

Francisco Corella

J. Autom. Reason., 1993

Automated High-level Verification Against Clocked Algorithmic Specifications.

Francisco Corella

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1984

Cooperative Responses to Boolean Queries.

Francisco Corella, S. Jerrold Kaplan, Gio Wiederhold, Lena Yesil

Proceedings of the First International Conference on Data Engineering, 1984

Semantic Retrieval and Levels of Abstraction.

Francisco Corella

Proceedings of the Expert Database Systems, 1984