Filter your results
- 247
- 97
- 2
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 22
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
|
Non-interference and local correctness in transactional memoryTheor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles
hal-02287768v1
|
||
|
Note sur la cryptanalyse de Diffie-HellmanGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles
hal-03022599v1
|
||
Note sur la cryptanalyse de Diffie-HellmanGénie Logiiel, 2017, 120, pp.56-60
Journal articles
hal-02287591v1
|
|||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
On some bounds for symmetric tensor rank of multiplication in finite fieldsAlp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections
hal-01318315v1
|
||
|
On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometryRussian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles
hal-03661954v1
|
||
On the uncontended complexity of anonymous agreementDistributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles
hal-02287767v1
|
|||
On the Uncontended Complexity of Anonymous Consensus19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers
hal-01411528v1
|
|||
|
On the Uncontended Complexity of Anonymous Consensus[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports
hal-01180864v1
|
||
Online Payments by Merely Broadcasting MessagesDSN, Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
|
|||
Openflow and on demand networks2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers
hal-02354918v1
|
|||
optimal Chudnovsky Chudnovsky multiplication algorithmsWAIFI 2014, Jul 2015, gebze, Turkey
Conference papers
hal-02287379v1
|
|||
Optimal Concurrency for List-Based SetsParallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
Conference papers
hal-03560232v1
|
|||
Optimal Deployment of Security Policies: Application to Industrial Control Systems14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers
hal-02287944v1
|
|||
Organising Complexity: Hierarchies and HolarchiesOrganic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
Book sections
hal-02287626v1
|
|||
Panel session on AADL and its annexes15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers
hal-00652435v1
|
|||
Parallel Combining: Benefits of Explicit Synchronization22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
Conference papers
hal-02412405v1
|
|||
Parallel Combining: Making Use of Free CyclesCoRR, 2017, abs/1710.07588
Journal articles
hal-02287770v1
|
|||
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processorsJournal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles
hal-02287590v1
|
|||
|
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application ProcessorsSustainable Computing : Informatics and Systems, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩
Journal articles
hal-01531295v1
|
||
|
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home ServicesChristine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections
hal-03860813v1
|
||
PCM in cloudIEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers
hal-02288436v1
|
|||
PDP 4PS : Periodic-Delayed Protocol for Partitioned SystemsInternational Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers
hal-01115671v1
|
|||
Perfect Failure Detection with Very Few Bits18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers
hal-01423637v1
|
|||
|
Perfect failure detection with very few bitsInformation and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles
hal-03559548v1
|
||
|
Perfect Failure Detection with Very Few Bits[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports
hal-01365304v1
|
||
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers
hal-03559711v1
|
|||
|
Permissionless and Asynchronous Asset TransferDISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
Conference papers
hal-03559627v1
|
||
Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and DispersionIEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩
Conference papers
hal-02450308v1
|
|||
POSTER: A Keyless Efficient Algorithm for Data Protection by Means of FragmentationACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria
Conference papers
hal-02287535v1
|
|||
POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key ExposureACM CCS’18, Oct 2018, Toronto, Canada
Conference papers
hal-02288015v1
|
|||
POSTER: Resistance Analysis of Two AES-Like Against the Boomerang AttackApplied Cryptography and Network Security Workshops, 12809, Springer International Publishing, pp.485-489, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-81645-2_27⟩
Book sections
hal-03569438v1
|
|||
Precise and Efficient Analysis of Context-Sensitive Cache Conflict SetsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers
hal-02894150v1
|
|||
Precise, efficient, and context-sensitive cache analysisReal-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles
hal-03559857v1
|
|||
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation ChainsMODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers
hal-01115716v1
|
|||
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers
hal-02428017v1
|
||
Preserving privacy in distributed system (PPDS) protocol: Security analysis2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC), Dec 2017, San Diego, France. pp.1-7, ⟨10.1109/PCCC.2017.8280505⟩
Conference papers
hal-02353278v1
|
|||
Privacy as a Service: Anonymisation of NetFlow Traces16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
Conference papers
hal-03035791v1
|
|||
Privacy as a Service: Anonymisation of NetFlow TracesAdvances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections
hal-03042197v1
|
|||
|
Privacy-preserving content-based publish/subscribe with encrypted matching and data splittingSECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers
hal-02910407v1
|
||
Profile Centric Model.International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles
hal-02287105v1
|
|||
Profile centric modellingINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles
hal-02354927v1
|
|||
|
Progress-Space Tradeoffs in Single-Writer Memory Implementations21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
Conference papers
hal-01787848v1
|
||
Progressive Transactional Memory in Time and SpacePaCT, Sep 2015, Petrozavodsk, Russia
Conference papers
hal-02287223v1
|
|||
|
Protecting data confidentiality combining data fragmentation, encryption, and dispersal over a distributed environmentCryptography and Security [cs.CR]. Télécom ParisTech, 2018. English. ⟨NNT : 2018ENST0061⟩
Theses
tel-03523671v1
|
||
Protocol for preserving privacy in distributed system (PPDS)2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
Conference papers
hal-02354923v1
|
|||
|
Public Privacy and Brick Houses Made of Glass12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers
hal-01855989v1
|
||
Publish/Subscribe for Wireless Sensor Networks (Invited paper)Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers
hal-02278598v1
|
|||
|
Questioning the security and efficiency of the ESIoT approachWISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers
hal-01850383v1
|
||
Reactive or Stable: A Plant-inspired Approach for Business Organisation MorphogenesisInternational Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers
hal-03023157v1
|
|||
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Conference papers
hal-03666430v1
|
||
|
Reconfigurable Lattice Agreement and Applications[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
|
||
Reconfigurable Lattice Agreement and ApplicationsOPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
|
|||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
|
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services2022
Other publications
hal-03860833v1
|
||
Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
Conference papers
hal-02450307v1
|
|||
Replication-Based Self-healing of Mobile Agents Exploring Complex Networks15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers
hal-02287746v1
|
|||
Resisting Adversarial Examples via Wavelet Extension and DenoisingSmart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩
Book sections
hal-03559661v1
|
|||
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles
hal-03559549v1
|
|||
Revisiting Optimal Resilience of Fast Byzantine ConsensusPODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
Conference papers
hal-03559623v1
|
|||
|
Revisiting Shared Data Protection Against Key ExposureAsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers
hal-03024707v1
|
||
RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates2020
Books
hal-03023137v1
|
|||
|
Risks and security of internet and systemsCRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings
hal-03628457v1
|
||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
RTNS 2022: The 30th International Conference on Real-Time Networks and SystemsACM; ACM, 2022, ⟨10.1145/3534879⟩
Proceedings
hal-03951192v1
|
|||
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hiddenthe 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers
hal-02449676v1
|
|||
Safe box cloud authentication using TLS extesion2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
Conference papers
hal-02354926v1
|
|||
Safety and Deferred Update in Transactional MemoryTransactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections
hal-02287873v1
|
|||
Safety of session-based service orchestration revisited with an unreliable communication modelWeb Services Formal Methods, Aug 2013, beijing, China
Conference papers
hal-02286789v1
|
|||
SBaaS: Safe Box as a serviceIEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers
hal-02288435v1
|
|||
|
SBaaS: Safe Box as a Service9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
Conference papers
hal-02343635v1
|
||
Scalable Byzantine Reliable BroadcastDISC, Oct 2019, Budapest, Hungary
Conference papers
hal-03022562v1
|
|||
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore ArchitectureInternational Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Conference papers
hal-03022552v1
|
|||
|
Scénarios pour un Micro Smart Grid Autonomique.UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers
hal-00639077v1
|
||
Scheduling algorithms to reduce the static energy consumption of real-time systemsExperiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles
cea-01846864v1
|
|||
|
Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers
hal-01994627v1
|
||
Scheduling of mixed-criticality systems with RUN2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers
hal-02922757v1
|
|||
|
Seamless Integration between Real-time Analyses and Systems Engineering with the PST ApproachIEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
|
||
Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil
Conference papers
hal-02287748v1
|
|||
Secure Data Sharing with Fast Access Revocation through Untrusted Clouds2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-5, ⟨10.1109/NTMS.2019.8763850⟩
Conference papers
hal-02450309v1
|
|||
|
Security bootstrapping for Internet of ThingsCryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses
tel-03719946v1
|
||
Security Interoperability for Cooperative ITS: Architecture and Validation2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-6, ⟨10.1109/NTMS.2019.8763819⟩
Conference papers
hal-02354694v1
|
|||
|
Sélection des brokers dans un réseau de capteurs en mode publication / souscription14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
Conference papers
hal-00690477v1
|
||
Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key ExposureCSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy
Conference papers
hal-02288014v1
|
|||
Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers
hal-02287875v1
|
|||