index - GREYC amacc

Search
Access content directly
Footer

Documentation
French (FR)

English (EN)

Collection GREYC-AMACC
Search
Loading...
Advanced Search
Information de documents
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
Document type
Document subtype
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool

Author
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor

Structure
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country

Autres
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Search using SolR syntax
Upload

GREYC - AMACC group

Algorithms, Computational Models, Alea, Combinatorics, Complexity

Homepage
Browse latest publications

Loading...

Algorithms, computationamodels, Alea, Cryptography and Complexity Team

Last publications

Benjamin Hellouin de Menibus, Victor Lutfalla, Pascal Vanier. Decision problems on geometric tilings. 2024. ⟨hal-04693345⟩
Julien Courtiel, Martin Pépin. Random Generation of Git Graphs. GASCom 2024, Jun 2024, Talence, France, France. pp.79-86, ⟨10.4204/EPTCS.403.18⟩. ⟨hal-04487862v2⟩
Corentin Jeudy, Adeline Roux-Langlois, Olivier Sanders. Phoenix: Hash-and-Sign with Aborts from Lattice Gadgets. PQCrypto 2024 - 15th International Conference on Post-Quantum Cryptography, Jun 2024, Oxford, United Kingdom. pp.265 - 299, ⟨10.1007/978-3-031-62743-9_9⟩. ⟨hal-04689228⟩
Etienne Grandjean, Théo Grente, Véronique Terrier. Inductive definitions in logic versus programs of real-time cellular automata. Theoretical Computer Science, 2024, 987, pp.1-69. ⟨hal-02474520⟩
Paul Dorbec, Michael Antony Henning. The 1/3-conjectures for domination in cubic graphs. 2024. ⟨hal-04427896v3⟩
Antonin Callard, Léo Paviet Salomon, Pascal Vanier. Computability of extender sets in multidimensional subshifts. 2024. ⟨hal-04390697⟩
Julien Courtiel, Paul Dorbec, Romain Lecoq. Theoretical analysis of git bisect. Algorithmica, 2023, ⟨10.1007/s00453-023-01194-0⟩. ⟨hal-04354327v2⟩
Corentin Jeudy, Adeline Roux-Langlois, Olivier Sanders. Lattice Signature with Efficient Protocols, Application to Anonymous Credentials. Crypto 2023 - 43rd Annual International Cryptology Conference, Aug 2023, Santa Barbara, United States. pp.351-383, ⟨10.1007/978-3-031-38545-2_12⟩. ⟨hal-04242499⟩
Julien Clément, Antoine Genitrini. An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Aug 2023, Bordeaux, France. pp.36:1--36:15, ⟨10.4230/LIPIcs.MFCS.2023.36⟩. ⟨hal-03871300⟩
Malika Izabachène, Lucas Prabel, Adeline Roux-Langlois. Identity-Based Encryption from Lattices Using Approximate Trapdoors. ACISP 2023 - 28th Australasian Conference on Information Security and Privacy, Jul 2023, Brisbane, Australia. pp.270-290, ⟨10.1007/978-3-031-35486-1_13⟩. ⟨hal-04163136⟩
Benjamin Hellouin de Menibus, Victor H Lutfalla, Camille Noûs. The Domino problem is undecidable on every rhombus subshift. Developments in Language Theory (DLT) 2023, Frank Drewes; Martin Berglund; Johanna Björklund; Lena Strobl, Jun 2023, Umeå, Sweden. ⟨hal-04004801⟩
Pierre-Alain Fouque, Adela Georgescu, Chen Qian, Adeline Roux-Langlois, Weiqiang Wen. A Generic Transform from Multi-Round Interactive Proof to NIZK. PKC 2023 - International Conference on Practice and Theory of Public-Key Cryptography, May 2023, Atlanta, United States. pp.461-481, ⟨10.1007/978-3-031-31371-4_16⟩. ⟨hal-04163128⟩
Adeline Roux-Langlois. Using Structured Variants in Lattice-Based Cryptography. École thématique. Journées nationales de calcul formel, Luminy, France. 2023. ⟨hal-04206009⟩
Paul Dorbec, Fatma Kaci. Disjoint Maximal Independent Sets in Graphs and Hypergraphs. Discussiones Mathematicae Graph Theory, In press, ⟨10.7151/dmgt.2500⟩. ⟨hal-03641758⟩
Léo Paviet Salomon, Pascal Vanier. Realizing finitely presented groups as projective fundamental groups of SFTs. Mathematical Foundations of Computer Science (MFCS), 2023, Bordeaux, France. ⟨10.4230/LIPIcs.MFCS.2023.75⟩. ⟨hal-03622497v2⟩

Number of publications

303

Submissions distribution by document type

widget_sherpa

Journal title or ISSN Publisher

Contact

Resources

Documentation
Training
FAQ
API
OAI-PMH
AuréHAL

Informations

About
Privacy and personal data
Legal terms
Accessibility
Declaration of compliance

Legal issues

I publish, what are my rights?
The Digital Republic bill
Non-assignment strategy of rights
SHERPA/RoMEO

Portals

Institutional portals
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf