Diego F. Aranha

According to our database, Diego F. Aranha authored at least 105 papers between 2005 and 2024.

Collaborative distances:

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

2024

MOSFHET: Optimized Software for FHE over the Torus.

Antonio Guimarães, Edson Borin, Diego F. Aranha

J. Cryptogr. Eng., September, 2024

Secure and efficient transciphering for FHE-based MPC.

Diego F. Aranha, Antonio Guimarães, Clément Hoffmann, Pierrick Méaux

IACR Cryptol. ePrint Arch., 2024

Aggregating Falcon Signatures with LaBRADOR.

Marius A. Aardal, Diego F. Aranha, Katharina Boudgoust, Sebastian Kolby, Akira Takahashi

IACR Cryptol. ePrint Arch., 2024

Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4.

Marius A. Aardal, Gora Adj, Arwa Alblooshi, Diego F. Aranha, Isaac Andrés Canales Martinez, Jorge Chávez-Saab, Décio Luiz Gazzoni Filho, Krijn Reijnders, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2024

Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data.

Leonardo Neumann, Antonio Guimarães, Diego F. Aranha, Edson Borin

CoRR, 2024

Lattice-Based Homomorphic Encryption For Privacy-Preserving Smart Meter Data Analytics.

Ali Marandi, Pedro Geraldo M. R. Alves, Diego F. Aranha, Rune Hylsberg Jacobsen

Comput. J., 2024

A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level.

Diego F. Aranha, Georgios Fotiadis, Aurore Guillevic

IACR Commun. Cryptol., 2024

2023

A survey of elliptic curves for proof systems.

Diego F. Aranha, Youssef El Housni, Aurore Guillevic

Des. Codes Cryptogr., November, 2023

Performance of hierarchical transforms in homomorphic encryption: a case study on logistic regression inference.

Pedro Geraldo M. R. Alves, Jheyne N. Ortiz, Diego F. Aranha

J. Cryptogr. Eng., September, 2023

User-centric security analysis of MitID: The Danish passwordless digital identity solution.

Thomas Kingo, Diego F. Aranha

Comput. Secur., September, 2023

Privacy-preserving edit distance computation using secret-sharing two-party computation.

Hernán Darío Vanegas Madrigal, Daniel Cabarcas Jaramillo, Diego F. Aranha

IACR Cryptol. ePrint Arch., 2023

Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing.

Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2023

HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical.

Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez

IACR Cryptol. ePrint Arch., 2023

Faster coercion-resistant e-voting by encrypted sorting.

Diego F. Aranha, Michele Battagliola, Lawrence Roy

IACR Cryptol. ePrint Arch., 2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild

CoRR, 2023

Privacy-Preserving Edit Distance Computation Using Secret-Sharing Two-Party Computation.

Hernán Vanegas, Daniel Cabarcas, Diego F. Aranha

Proceedings of the Progress in Cryptology - LATINCRYPT 2023, 2023

2022

Fast Privacy-Preserving Text Classification Based on Secure Multiparty Computation.

Amanda Cristina Davi Resende, Davis Railsback, Rafael Dowsley, Anderson C. A. Nascimento, Diego F. Aranha

IEEE Trans. Inf. Forensics Secur., 2022

Laconic Private Set-Intersection From Pairings.

Diego F. Aranha, Chuanwei Lin, Claudio Orlandi, Mark Simkin

IACR Cryptol. ePrint Arch., 2022

The State of the Union: Union-Only Signatures for Data Aggregation.

Diego F. Aranha, Felix Engelmann, Sebastian Kolby, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2022

Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions.

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde

IACR Cryptol. ePrint Arch., 2022

2DT-GLS: Faster and exception-free scalar multiplication in the GLS254 binary curve.

Marius A. Aardal, Diego F. Aranha

IACR Cryptol. ePrint Arch., 2022

Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud.

Antonio Guimarães, Leonardo Neumann, Fernanda A. Andaló, Diego F. Aranha, Edson Borin

Proceedings of the International Symposium on Computer Architecture and High Performance Computing Workshops, 2022

Formal Model In-The-Loop for Secure Industrial Control Networks.

Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Revisiting the functional bootstrap in TFHE.

Antonio Guimarães, Edson Borin, Diego F. Aranha

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021

Side-Channel Protections for Picnic Signatures.

Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021

Faster unbalanced Private Set Intersection in the semi-honest setting.

Amanda Cristina Davi Resende, Diego de Freitas Aranha

J. Cryptogr. Eng., 2021

High-assurance field inversion for curve-based cryptography.

Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters

IACR Cryptol. ePrint Arch., 2021

LOVE a pairing.

Diego F. Aranha, Elena Pagnin, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2021

Count Me In! Extendability for Threshold Ring Signatures.

Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2021

Lattice-Based Proof of Shuffle and Applications to Electronic Voting.

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde, Thor Tunge

IACR Cryptol. ePrint Arch., 2021

ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines.

Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi

IACR Cryptol. ePrint Arch., 2021

Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms.

Diego F. Aranha, Anders P. K. Dalskov, Daniel Escudero, Claudio Orlandi

Proceedings of the Progress in Cryptology - LATINCRYPT 2021, 2021

Formally Verified Credentials Management for Industrial Control Systems.

Tomas Kulik, Jalil Boudjadar, Diego F. Aranha

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

A Differentially Private Hybrid Approach to Traffic Monitoring.

Rogério V. M. Rocha, Pedro Paulo Libório, Harsh Kupwade Patil, Diego F. Aranha

Proceedings of the Applied Cryptography and Network Security, 2021

2020

Efficient and secure software implementations of Fantomas.

Rafael J. Cruz, Antonio Guimarães, Diego F. Aranha

J. Cryptogr. Eng., 2020

Computing the optimal ate pairing over elliptic curves with embedding degrees 54 and 48 at the 256-bit security level.

Narcisse Bang Mbang, Diego de Freitas Aranha, Emmanuel Fouotsa

Int. J. Appl. Cryptogr., 2020

Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs.

Sara D. Cardell, Diego F. Aranha, Amparo Fúster-Sabater

Log. J. IGPL, 2020

LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage.

Diego F. Aranha, Felipe Rodrigues Novaes, Akira Takahashi, Mehdi Tibouchi, Yuval Yarom

IACR Cryptol. ePrint Arch., 2020

LSS Homomorphisms and Applications to Secure Signatures, Proactive Secret Sharing and Input Certification.

Diego F. Aranha, Anders P. K. Dalskov, Daniel Escudero, Claudio Orlandi

IACR Cryptol. ePrint Arch., 2020

Faster Homomorphic Encryption over GPGPUs via hierarchical DGT.

Pedro Geraldo M. R. Alves, Jheyne N. Ortiz, Diego F. Aranha

IACR Cryptol. ePrint Arch., 2020

Side Channel Security of Smart Meter Data Compression Techniques.

Marcell Fehér, Niloofar Yazdani, Diego F. Aranha, Daniel E. Lucani, Morten Tranberg Hansen, Flemming Enevold Vester

Proceedings of the 2020 IEEE International Conference on Communications, 2020

Towards Formally Verified Key Management for Industrial Control Systems.

Tomas Kulik, Jalil Boudjadar, Diego F. Aranha

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Accelerated V2X provisioning with Extensible Processor Platform.

Henrique S. Ogawa, Thomas E. Luther, Jefferson E. Ricardini, Helmiton Cunha, Marcos A. Simplício Jr., Diego F. Aranha, Ruud Derwig, Harsh Kupwade Patil

IACR Cryptol. ePrint Arch., 2019

The Simplest Multi-key Linearly Homomorphic Signature Scheme.

Diego F. Aranha, Elena Pagnin

IACR Cryptol. ePrint Arch., 2019

Security of Hedged Fiat-Shamir Signatures under Fault Attacks.

Diego F. Aranha, Claudio Orlandi, Akira Takahashi, Greg Zaverucha

IACR Cryptol. ePrint Arch., 2019

Optimized implementation of QC-MDPC code-based cryptography.

Antonio Guimarães, Diego de Freitas Aranha, Edson Borin

Concurr. Comput. Pract. Exp., 2019

Building secure protocols for extensible distributed coordination through secure extensions.

Edson Floriano, Eduardo Alchieri, Diego F. Aranha, Priscila Solís Barreto

Comput. Secur., 2019

The return of software vulnerabilities in the Brazilian voting machine.

Diego F. Aranha, Pedro Barbosa, Thiago N. C. Cardoso, Caio Lüders Araújo, Paulo Matias

Comput. Secur., 2019

Circumventing Uniqueness of XOR Arbiter PUFs.

Caio Hoffman, Catherine H. Gebotys, Diego F. Aranha, Mario Lúcio Côrtes, Guido Araújo

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Introducing Arithmetic Failures to Accelerate QC-MDPC Code-Based Cryptography.

Antonio Guimarães, Edson Borin, Diego de Freitas Aranha

Proceedings of the Code-Based Cryptography - 7th International Workshop, 2019

2018

CRPUF: A modeling-resistant delay PUF based on cylindrical reconvergence.

Rodrigo C. Surita, Mario Lúcio Côrtes, Diego F. Aranha, Guido Araujo

Microprocess. Microsystems, 2018

Fog orchestration for the Internet of Everything: state-of-the-art and research challenges.

Karima Velasquez, David Perez Abreu, Marcio R. M. Assis, Carlos R. Senna, Diego F. Aranha, Luiz F. Bittencourt, Nuno Laranjeiro, Marília Curado, Marco Vieira, Edmundo Monteiro, Edmundo Roberto Mauro Madeira

J. Internet Serv. Appl., 2018

The computer for the 21st century: present security & privacy challenges.

Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Michele Nogueira, Michelle S. Wangham, Min Wu, Jie Liu

J. Internet Serv. Appl., 2018

A framework for searching encrypted databases.

Pedro Geraldo M. R. Alves, Diego F. Aranha

J. Internet Serv. Appl., 2018

NIZKCTF: A Noninteractive Zero-Knowledge Capture-the-Flag Platform.

Paulo Matias, Pedro Barbosa, Thiago N. C. Cardoso, Diego M. Campos, Diego F. Aranha

IEEE Secur. Priv., 2018

Research in Security and Privacy in Brazil.

Marinho P. Barcellos, Diego F. Aranha

IEEE Secur. Priv., 2018

The Good, the Bad, and the Ugly: Two Decades of E-Voting in Brazil.

Diego F. Aranha, Jeroen van de Graaf

IEEE Secur. Priv., 2018

In Praise of Twisted Canonical Embedding.

Jheyne N. Ortiz, Robson R. de Araujo, Ricardo Dahab, Diego F. Aranha, Sueli I. R. Costa

IACR Cryptol. ePrint Arch., 2018

Evaluation and Mitigation of Timing Side-Channel Leakages on Multiple-Target Dynamic Binary Translators.

Otávio Oliveira Napoli, Vanderson Martins do Rosario, Diego de Freitas Aranha, Edson Borin

Proceedings of the High Performance Computing Systems - 19th Symposium, 2018

Evaluation of Timing Side-Channel Leakage on a Multiple-Target Dynamic Binary Translator.

Otávio Oliveira Napoli, Vanderson Martins do Rosário, Diego de Freitas Aranha, Edson Borin

Proceedings of the Symposium on High Performance Computing Systems, 2018

Provendo Segurança e Privacidade em Coordenação Distribuída e Extensível.

Edson Floriano, Eduardo Alchieri, Diego F. Aranha, Priscila Solís

Proceedings of the XXXVI Brazilian Symposium on Computer Networks and Distributed Systems, 2018

Security and Privacy in Extensible Distributed Coordination.

Edson Floriano, Eduardo Alchieri, Diego F. Aranha, Priscila Solís

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Faster Unbalanced Private Set Intersection.

Amanda Cristina Davi Resende, Diego F. Aranha

Proceedings of the Financial Cryptography and Data Security, 2018

2017

Providing privacy on the tuple space model.

Edson Floriano, Eduardo Alchieri, Diego F. Aranha, Priscila Solís

J. Internet Serv. Appl., 2017

Unbalanced Approximate Private Set Intersection.

Amanda Cristina Davi Resende, Diego F. Aranha

IACR Cryptol. ePrint Arch., 2017

NIZKCTF: A Non-Interactive Zero-Knowledge Capture the Flag Platform.

Paulo Matias, Pedro Barbosa, Thiago N. C. Cardoso, Diego Mariano, Diego F. Aranha

CoRR, 2017

Elliptic Curve Multiset Hash.

Jeremy Maitin-Shepard, Mehdi Tibouchi, Diego F. Aranha

Comput. J., 2017

A Secure and Efficient Implementation of the Quotient Digital Signature Algorithm (qDSA).

Armando Faz-Hernández, Hayato Fujii, Diego F. Aranha, Julio López

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2017

Efficient Software Implementation of Laddering Algorithms Over Binary Elliptic Curves.

Diego F. Aranha, Reza Azarderakhsh, Koray Karabina

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2017

Privacidade em Dados Armazenados em Memória Compartilhada através de Espaços de Tuplas.

Edson Floriano, Eduardo Alchieri, Diego F. Aranha, Priscila Solís

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

Curve25519 for the Cortex-M4 and Beyond.

Hayato Fujii, Diego F. Aranha

Proceedings of the Progress in Cryptology - LATINCRYPT 2017, 2017

Non-interactive Privacy-preserving k-NN Classifier.

Hilder V. L. Pereira, Diego F. Aranha

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Platform-agnostic Low-intrusion Optical Data Exfiltration.

Arthur Costa Lopes, Diego F. Aranha

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

The Computer for the 21st Century: Security & Privacy Challenges after 25 Years.

Leonardo B. Oliveira, Fernando Magno Quintão Pereira, Rafael Misoczki, Diego F. Aranha, Fábio Borges, Jie Liu

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

PRESENT Runs Fast - Efficient and Secure Implementation in Software.

Tiago B. S. Reis, Diego F. Aranha, Julio López

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2017, 2017

2016

Crowdsourced integrity verification of election results - An experience from Brazilian elections.

Diego F. Aranha, Helder Ribeiro, André Luis Ogando Paraense

Ann. des Télécommunications, 2016

AoT: Authentication and Access Control for the Entire IoT Device Life-Cycle.

Antonio L. Maia Neto, Artur L. F. Souza, Ítalo S. Cunha, Michele Nogueira, Ivan Oliveira Nunes, Leonardo Cotta, Nicolas Gentille, Antonio A. F. Loureiro, Diego F. Aranha, Harsh Kupwade Patil, Leonardo B. Oliveira

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Cylindrical Reconvergence Physical Unclonable Function.

Rodrigo C. Surita, Mario Lúcio Côrtes, Diego F. Aranha, Guido Araujo

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Sparse representation of implicit flows with applications to side-channel detection.

Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

PUF-Based Mutual Multifactor Entity and Transaction Authentication for Secure Banking.

Amanda Cristina Davi Resende, Karina Mochetti, Diego F. Aranha

Proceedings of the Lightweight Cryptography for Security and Privacy, 2015

Computer security by hardware-intrinsic authentication.

Caio Hoffman, Mario Lúcio Côrtes, Diego F. Aranha, Guido Araujo

Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

2014

Two is the fastest prime: lambda coordinates for binary elliptic curves.

Thomaz Oliveira, Julio López, Diego F. Aranha, Francisco Rodríguez-Henríquez

J. Cryptogr. Eng., 2014

Fast point multiplication algorithms for binary elliptic curves with and without precomputation.

Thomaz Oliveira, Diego F. Aranha, Julio López, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2014

Binary Elligator Squared.

Diego F. Aranha, Pierre-Alain Fouque, Chen Qian, Mehdi Tibouchi, Jean-Christophe Zapalowicz

IACR Cryptol. ePrint Arch., 2014

GLV/GLS Decomposition, Power Analysis, and Attacks on ECDSA Signatures with Single-Bit Nonce Bias.

Diego F. Aranha, Pierre-Alain Fouque, Benoît Gérard, Jean-Gabriel Kammerer, Mehdi Tibouchi, Jean-Christophe Zapalowicz

Proceedings of the Advances in Cryptology - ASIACRYPT 2014, 2014

2013

Two is the fastest prime.

Thomaz Oliveira, Julio López, Diego F. Aranha, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2013

The Realm of the Pairings.

Diego F. Aranha, Paulo S. L. M. Barreto, Patrick Longa, Jefferson E. Ricardini

IACR Cryptol. ePrint Arch., 2013

A note on high-security general-purpose elliptic curves.

Diego F. Aranha, Paulo S. L. M. Barreto, C. C. F. Pereira Geovandro, Jefferson E. Ricardini

IACR Cryptol. ePrint Arch., 2013

Lambda Coordinates for Binary Elliptic Curves.

Thomaz Oliveira, Julio López, Diego F. Aranha, Francisco Rodríguez-Henríquez

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2013, 2013

2012

Faster implementation of scalar multiplication on Koblitz curves.

Diego F. Aranha, Armando Faz-Hernández, Julio López, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2012

Implementing Pairings at the 192-bit Security Level.

Diego F. Aranha, Laura Fuentes-Castañeda, Edward Knapp, Alfred Menezes, Francisco Rodríguez-Henríquez

IACR Cryptol. ePrint Arch., 2012

Secure-TWS: Authenticating Node to Multi-user Communication in Shared Sensor Networks.

Leonardo B. Oliveira, Aman Kansal, Conrado Porto Lopes Gouvêa, Diego F. Aranha, Julio López, Bodhi Priyantha, Michel Goraczko, Feng Zhao

Comput. J., 2012

2011

Efficient software implementation of elliptic curves and bilinear pairings.

Diego F. Aranha

PhD thesis, 2011

Speeding scalar multiplication over binary elliptic curves using the new carry-less multiplication instruction.

Jonathan Taverne, Armando Faz-Hernández, Diego F. Aranha, Francisco Rodríguez-Henríquez, Darrel Hankerson, Julio López

J. Cryptogr. Eng., 2011

Software implementation of binary elliptic curves: impact of the carry-less multiplier on scalar multiplication.

Jonathan Taverne, Armando Faz-Hernández, Diego F. Aranha, Francisco Rodríguez-Henríquez, Darrel Hankerson, Julio López

IACR Cryptol. ePrint Arch., 2011

TinyPBC: Pairings for authenticated identity-based non-interactive key distribution in sensor networks.

Leonardo B. Oliveira, Diego F. Aranha, Conrado Porto Lopes Gouvêa, Michael Scott, Danilo F. Câmara, Julio López, Ricardo Dahab

Comput. Commun., 2011

Parallelizing the Weil and Tate Pairings.

Diego F. Aranha, Edward Knapp, Alfred Menezes, Francisco Rodríguez-Henríquez

Proceedings of the Cryptography and Coding - 13th IMA International Conference, 2011

2010

Faster Explicit Formulas for Computing Pairings over Ordinary Curves.

Diego F. Aranha, Koray Karabina, Patrick Longa, Catherine H. Gebotys, Julio López

IACR Cryptol. ePrint Arch., 2010

Optimal Eta Pairing on Supersingular Genus-2 Binary Hyperelliptic Curves.

Diego F. Aranha, Jean-Luc Beuchat, Jérémie Detrey, Nicolas Estibals

IACR Cryptol. ePrint Arch., 2010

Efficient implementation of elliptic curve cryptography in wireless sensors.

Diego F. Aranha, Ricardo Dahab, Julio López, Leonardo B. Oliveira

Adv. Math. Commun., 2010

Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets.

Diego F. Aranha, Julio López, Darrel Hankerson

Proceedings of the Progress in Cryptology, 2010

High-Speed Parallel Software Implementation of the ηT Pairing.

Diego F. Aranha, Julio López, Darrel Hankerson

Proceedings of the Topics in Cryptology, 2010

2007

TinyTate: Identity-Based Encryption for Sensor Networks.

Leonardo B. Oliveira, Diego F. Aranha, Eduardo Morais, Felipe Daguano, Julio López, Ricardo Dahab

IACR Cryptol. ePrint Arch., 2007

TinyTate: Computing the Tate Pairing in Resource-Constrained Sensor Nodes.

Leonardo B. Oliveira, Diego F. Aranha, Eduardo Morais, Felipe Daguano, Julio López, Ricardo Dahab

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

2005

Obtaining possible execution histories on multiple memory consistency models.

Alba Cristina Magalhaes Alves de Melo, Nilo S. B. Silva, Hammurabi das Chagas Mendes, Diego F. Aranha

Proceedings of the XXV International Conference of the Chilean Computer Science Society, 2005