Skip to Main content Skip to Navigation


...
hal-03005932v1  Conference papers
Pietro AbateRoberto Di CosmoGeorgios GousiosStefano Zacchiroli. Dependency Solving Is Still Hard, but We Are Getting Better at It
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), Feb 2020, London, Canada. pp.547-551, ⟨10.1109/SANER48275.2020.9054837⟩
hal-02568304v1  Conference papers
Hernan AbaunzaPedro Castillo GarciaDidier TheilliolAdel BelkadiLaurent Ciarletta. Cylindrical bounded quaternion control for tracking and surrounding a ground target using UAVs
21st International Federation of Automatic Control World Congress (IFAC WC 2020), Jul 2020, Berlin, Germany
...
hal-02914569v1  Conference papers
Mostafa AbbasRasha OmarAhmed El-MahdyErven Rohou. Approximate Data Dependence Profiling based on Abstract Interval and Congruent Domains
ARCS 2020 - 33rd International Conference on Architecture of Computing Systems, May 2020, Aachen (virtual), Germany. pp.3-16, ⟨10.1007/978-3-030-52794-5_1⟩
...
hal-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
...
hal-03036350v1  Conference papers
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
...
hal-03036292v1  Poster communications
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks
CNSM 2020 - 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey
...
hal-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
...
hal-02948657v1  Conference papers
Michel AbdallaFlorian BourseHugo MarivalDavid PointchevalAzam Soleimanian et al.  Multi-Client Inner-Product Functional Encryption in the Random-Oracle Model
SCN 2020 - 12th International Conference Security and Cryptography for Networks., Sep 2020, Amalfi / Virtual, Italy. pp.525-545, ⟨10.1007/978-3-030-57990-6_26⟩
...
hal-03003687v1  Reports
Michel Abdalla. Security Analysis of Olvid's SAS-based Trust Establishment Protocol
[Research Report] Report 2020/808, IACR Cryptology ePrint Archive. 2020
...
hal-03003721v1  Reports
Michel AbdallaDario CatalanoRomain GayBogdan Ursu. Inner-Product Functional Encryption with Fine-Grained Access Control
[Research Report] Report 2020/577, IACR Cryptology ePrint Archive. 2020
...
hal-03043537v1  Conference papers
Michel AbdallaDario CatalanoRomain GayBogdan Ursu. Inner-Product Functional Encryption with Fine-Grained Access Control
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security - 26th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, South Korea. pp.467-497, ⟨10.1007/978-3-030-64840-4_16⟩
...
hal-02948678v1  Conference papers
Michel AbdallaManuel BarbosaTatiana BradleyStanisław JareckiJonathan Katz et al.  Universally Composable Relaxed Password Authenticated Key Exchange
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.278-307, ⟨10.1007/978-3-030-56784-2_10⟩
...
hal-02948674v1  Conference papers
Michel AbdallaJunqing GongHoeteck Wee. Functional Encryption for Attribute-Weighted Sums from k-Lin
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.685-716, ⟨10.1007/978-3-030-56784-2_23⟩
hal-02921919v1  Conference papers
Omar AbdelkafiBilel DerbelArnaud LiefoogheDarrell Whitley. On the Design of a Partition Crossover for the Quadratic Assignment Problem
PPSN 2020 - 16th International Conference on Parallel Problem Solving from Nature, Sep 2020, Leiden, Netherlands. pp.303-316, ⟨10.1007/978-3-030-58112-1_21⟩
...
hal-03094697v1  Conference papers
Sami AbdellatifOkba TibermacineWalid BechkitAbdelmalik Bachir. Service Oriented D2D Efficient Communication for Post-Disaster Management
IWCMC 2020 - 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol, Cyprus. pp.970-975, ⟨10.1109/IWCMC48107.2020.9148538⟩
...
hal-03094740v1  Conference papers
Sami AbdellatifOkba TibermacineWalid BechkitAbdelmalik Bachir. Efficient Distributed D2D ProSe-Based Service Discovery and Querying in Disaster Situations
AINA 2020 - 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.910-921, ⟨10.1007/978-3-030-44041-1_79⟩
...
hal-02477371v1  Conference papers
Simon AbelardAlain CouvreurGrégoire Lecerf. Sub-quadratic time for Riemann-Roch spaces. The case of smooth divisors over nodal plane projective curves
ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.14-21, ⟨10.1145/3373207.3404053⟩
hal-02613482v1  Journal articles
Serge AbiteboulClaire Mathieu. Images de la transformation numérique
Patrimoine industriel, CILAC, 2020
...
hal-02613465v1  Journal articles
Serge AbiteboulFlorence Hachez-Leroy. Quel patrimoine pour l’informatique ? Introduction au numéro
Patrimoine industriel, CILAC, 2020, Patrimoine industriel informatique
hal-02941708v1  Conference papers
Mohamed Anwar AbouabdallahOlivier CoulaudAlain FrancNathalie Peyrard. Statistical learning for OTUs identification
ISEC 2020 - International Statistical Ecology Conference, Jun 2020, Sydney / Virtual, Australia