Filtrer vos résultats
- 22
- 2
- 17
- 5
- 1
- 1
- 24
- 1
- 1
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 24
- 13
- 8
- 6
- 5
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 14
- 6
- 6
- 6
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
24 résultats
|
|
triés par
|
|
Design of a Modular Platform for Static AnalysisThe Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Aug 2018, Fribourg-en-Brisgau, Germany
Communication dans un congrès
hal-01870001v1
|
||
|
SEIF: Secure and Efficient Intrusion Fault tolerant protocol for Wireless Sensor NetworksIEEE International Conference on Availability, Reliability and Security, 2008, Spain. pp.503-508
Communication dans un congrès
hal-00390450v1
|
||
|
Efficient data aggregation with in-network integrity control for WSNJournal of Parallel and Distributed Computing, 2012, 72, pp.1157-1170. ⟨10.1016/j.jpdc.2012.06.006⟩
Article dans une revue
hal-00723853v1
|
||
|
Value and Allocation Sensitivity in Static Python Analyses9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
Communication dans un congrès
hal-02876667v1
|
||
|
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Communication dans un congrès
hal-04077678v1
|
||
|
Combinations of Reusable Abstract Domains for a Multilingual Static AnalyzerVSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
Communication dans un congrès
hal-02890500v1
|
||
|
Modular static analysis of string manipulations in C programsSAS 2018, Aug 2018, Freiburg im Breisgau, Germany
Communication dans un congrès
hal-01884772v1
|
||
|
Congestion Detection Strategies in Wireless Sensor Networks: A Comparative Study with Testbed ExperimentsProcedia Computer Science, 2014, 37, pp.168 - 175. ⟨10.1016/j.procs.2014.08.026⟩
Article dans une revue
hal-01930911v1
|
||
|
SMART: Secure Multi-pAths Routing for wireless sensor neTworks13th International Conference, ADHOC-NOW, Jun 2014, Benidorm, Spain. pp.332-345, ⟨10.1007/978-3-319-07425-2_25⟩
Communication dans un congrès
hal-01308973v1
|
||
Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web ApplicationsCODASPY, Mar 2017, Scottsdale, Arizona, United States. Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy, 2017, ⟨10.1145/3029806.3029838⟩
Poster de conférence
hal-01522368v1
|
|||
|
A Multilanguage Static Analysis of Python Programs with Native C ExtensionsStatic Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Communication dans un congrès
hal-03313409v1
|
||
|
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains24th International Symposium on Static Analysis (SAS 2017), Aug 2017, New York, NY, United States. pp.277-298, ⟨10.1007/978-3-319-66706-5_14⟩
Communication dans un congrès
hal-01575855v1
|
||
|
A Library Modeling Language for the Static Analysis of C Programs27th Static Analysis Symposium, Nov 2020, Chicago, United States. pp.223-247, ⟨10.1007/978-3-030-65474-0_11⟩
Communication dans un congrès
hal-02991999v1
|
||
|
An abstract domain for trees with numeric relationsESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.724-751, ⟨10.1007/978-3-030-17184-1_26⟩
Communication dans un congrès
hal-02197107v1
|
||
|
Interference-aware Congestion Control Protocol for Wireless Sensor NetworksProcedia Computer Science, 2014, 37, pp.181 - 188. ⟨10.1016/j.procs.2014.08.028⟩
Article dans une revue
hal-01930915v1
|
||
|
Secure and efficient disjoint multipath construction for fault tolerant routing in wireless sensor networksJournal of Network and Computer Applications (JNCA), 2011, 34, pp.1380-1397. ⟨10.1016/j.jnca.2011.03.022⟩
Article dans une revue
hal-00593778v1
|
||
|
SEDAN: Secure and Efficient Data Aggregation protocol for wireless sensor NetworksIEEE Local Computer Networks / Workshop on Network Security, 2007, Ireland. pp.1053-1060
Communication dans un congrès
hal-00390501v1
|
||
|
Static Analysis of Endian Portability by Abstract Interpretation28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Communication dans un congrès
hal-03450165v1
|
||
|
Quantitative Static Analysis of Communication Protocols using Abstract Markov ChainsFormal Methods in System Design, 2019, 54 (1), pp.64-109. ⟨10.1007/s10703-019-00331-2⟩
Article dans une revue
hal-02096159v1
|
||
Half-Symmetric Lens Based Localization Algorithm for Wireless Sensor NetworksIEEE Local Conferences on Networks (LCN), Oct 2012, Clearwater, Florida, United States
Communication dans un congrès
hal-00756980v1
|
|||
|
Static Type Analysis by Abstract Interpretation of Python Programs34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
Communication dans un congrès
hal-02994000v1
|
||
|
Static Value Analysis of Python Programs by Abstract InterpretationNFM 2018 - 10th International Symposium NASA Formal Methods, Apr 2018, Newport News, VA, United States. pp.185-202, ⟨10.1007/978-3-319-77935-5_14⟩
Communication dans un congrès
hal-01782390v1
|
||
|
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩
Communication dans un congrès
hal-04536418v1
|
||
|
Information Security in Wireless Sensor NetworksDharma P Agrawal, Bin Xie. Encyclopedia on Ad Hoc and Ubiquitous Computing, World Scientific, pp.427-472, 2009, 978-981-283-349-5. ⟨10.1142/9789812833495_0017⟩
Chapitre d'ouvrage
hal-00543985v1
|