Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection*

Illuminating the Dark or how to recover what should not be seen in FE-based classifiers

Authors: Carpov, Sergiu Fontaine, Caroline Ligier, Damien et al.

Contributors: Carpov, Sergiu Fontaine, Caroline Ligier, Damien et al.

Source: ISSN: 2299-0984 ; Proceedings on Privacy Enhancing Technologies ; https://hal.science/hal-02413588 ; Proceedings on Privacy Enhancing Technologies, 2020, 2020 (2), pp.5-23. ⟨10.2478/popets-2020-0015⟩ ; https://doi.org/10.2478/popets-2020-0015.

Subject Terms: Functional encryption, information leakage, privacy-preserving classification, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.3: Other Architecture Styles/C.1.3.7: Neural nets, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning/I.2.6.6: Parameter learning, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]

Availability: https://hal.science/hal-02413588
https://hal.science/hal-02413588v1/document
https://hal.science/hal-02413588v1/file/%5B22990984%20-%20Proceedings%20on%20Privacy%20Enhancing%20Technologies%5D%20Illuminating%20the%20Dark%20or%20how%20to%20recover%20what%20should%20not%20be%20seen%20in%20FE-based%20classifiers.pdf
https://doi.org/10.2478/popets-2020-0015

3D CyberCOP: a Collaborative Platform for Cybersecurity Data Analysis and Training

Authors: Kabil, Alexandre Duval, Thierry Cuppens, Nora et al.

Contributors: Kabil, Alexandre Duval, Thierry Cuppens, Nora et al.

Source: CDVE 2018 : 15th International Conference on Cooperative Design, Visualization and Engineering ; https://hal.science/hal-01831965 ; CDVE 2018 : 15th International Conference on Cooperative Design, Visualization and Engineering, Oct 2018, Hangzou, China. pp.176-183, ⟨10.1007/978-3-030-00560-3_24⟩ ; http://www.cdve.org/

Subject Terms: ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.1: Multimedia Information Systems/H.5.1.1: Artificial, augmented, and virtual realities, HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), HCI)/H.5.2: User Interfaces/H.5.2.15: User-centered design, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Hangzou, China

Availability: https://hal.science/hal-01831965
https://hal.science/hal-01831965v1/document
https://hal.science/hal-01831965v1/file/CDVE2018.pdf
https://doi.org/10.1007/978-3-030-00560-3_24

The ultimate control flow transfer in a Java based smart card

Authors: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) et al.

Contributors: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) et al.

Source: Computers & Security. 50:33-46

Subject Terms: Fault Tree Analysis, Java Card Security, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, 0211 other engineering and technologies, 02 engineering and technology, Smart Card, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Countermeasures, Logical Attack, 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Evaluation, Control Flow Transfer, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01211370/file/15-CompSecu.pdf
https://inria.hal.science/hal-01211370v1
https://doi.org/10.1016/j.cose.2015.01.004
https://inria.hal.science/hal-01211370v1/document
https://hal.inria.fr/hal-01211370/document
https://www.sciencedirect.com/science/article/pii/S016740481500005X
https://hal.inria.fr/hal-01211370
https://dblp.uni-trier.de/db/journals/compsec/compsec50.html#BouffardL15

Formal Analysis of Combinations of Secure Protocols

Authors: Blot, Elliott Dreier, Jannik Lafourcade, Pascal et al.

Contributors: Blot, Elliott Dreier, Jannik Lafourcade, Pascal et al.

Source: FPS 2017 - 10th International Symposium on Foundations & Practice of Security ; https://hal.science/hal-01596010 ; FPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Nancy, France

Availability: https://hal.science/hal-01596010
https://hal.science/hal-01596010v2/document
https://hal.science/hal-01596010v2/file/article.pdf
https://doi.org/10.1007/978-3-319-75650-9_4

A Monadic Framework for Relational Verification

Authors: Grimm, Niklas Maillard, Kenji Fournet, Cédric et al.

Contributors: Grimm, Niklas Maillard, Kenji Fournet, Cédric et al.

Source: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), Jan 2018, Los Angeles, United States. pp.130--145, ⟨10.1145/3167090⟩

Subject Terms: Program Verification, Weakest Preconditions, Information-Flow Control, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Relational Verification, Monadic Effects, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Program Equivalence and Refinement, Certified Optimizations, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.4: Program verification, Proof Assistants, SMT-based Automation, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls

Access URL: https://hal.science/hal-01672703

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

Authors: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir et al.

Contributors: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir et al.

Source: 2017 27th International Conference on Field Programmable Logic and Applications (FPL)
https://hal.science/hal-01558473
2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩
https://www.fpl2017.org/

Subject Terms: Information Flow Tracking, SoC, Zynq, Zynq SoC, CoreSight, ARM Debug components, IFT, Dynamic information flow tracking, DIFT, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, ACM: B.: Hardware/B.6: LOGIC DESIGN, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Subject Geographic: Ghent, Belgium

Availability: https://hal.science/hal-01558473
https://hal.science/hal-01558473v1/document
https://hal.science/hal-01558473v1/file/bare_conf.pdf
https://doi.org/10.23919/fpl.2017.8056767

libmask: Protecting Browser JIT Engines from the Devil in the Constants

Authors: Jangda, Abhinav Mishra, Mohit Baudry, Benoit et al.

Contributors: Jangda, Abhinav Mishra, Mohit Baudry, Benoit et al.

Source: Annual Conference on Privacy, Security and Trust ; https://inria.hal.science/hal-01382971 ; Annual Conference on Privacy, Security and Trust, Dec 2016, Auckland, New Zealand ; http://pst2016.unitec.ac.nz/

Subject Terms: Software diversity, jit, Security Enforcement, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Auckland, New Zealand

Availability: https://inria.hal.science/hal-01382971
https://inria.hal.science/hal-01382971v1/document
https://inria.hal.science/hal-01382971v1/file/PID4513621.pdf

On the complexity of solving quadratic Boolean systems

Authors: Bardet, Magali Faugère, Jean-Charles Salvy, Bruno et al.

Contributors: Bardet, Magali Faugère, Jean-Charles Salvy, Bruno et al.

Source: Journal of Complexity. 29:53-75

Subject Terms: Statistics and Probability, Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.2, D.4.6, Control and Optimization, Computer Science - Cryptography and Security, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, 0102 computer and information sciences, Symbolic Computation (cs.SC), 68W40, 13P10, 13P15, 94A60, 01 natural sciences, 13P15, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0101 mathematics, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, 13P10, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Numerical Analysis, Algebra and Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Applied Mathematics, MSC10: 68W40, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.1: Analysis of algorithms, 94A60, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/1112.6263
https://inria.hal.science/hal-00655745v1
https://doi.org/10.1016/j.jco.2012.07.001
https://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/abs/pii/S0885064X12000611
https://www.pjspaenlehauer.net/data/papers/BarFauSalSpa11.pdf
https://hal.inria.fr/hal-00655745
http://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/pii/S0885064X12000611#!
http://ui.adsabs.harvard.edu/abs/2011arXiv1112.6263B/abstract
https://arxiv.org/abs/1112.6263
https://arxiv.org/pdf/1112.6263.pdf

Abstraction-based Malware Analysis Using Rewriting and Model Checking

Authors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Contributors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Source: ESORICS - 17th European Symposium on Research in Computer Security - 2012 ; https://inria.hal.science/hal-00762252 ; ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩

Subject Terms: Malware, behavioral detection, behavior abstraction, trace, term rewriting, model checking, first order temporal logic, finite state automaton, formal language, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Pisa, Italy

Availability: https://inria.hal.science/hal-00762252
https://inria.hal.science/hal-00762252/document
https://inria.hal.science/hal-00762252/file/esorics-definitif.pdf
https://doi.org/10.1007/978-3-642-33167-1

Fully Abstract Compilation to JavaScript

Authors: Fournet, Cédric Swamy, Nikhil Chen, Juan et al.

Contributors: Fournet, Cédric Swamy, Nikhil Chen, Juan et al.

Source: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'13 (2013)
https://hal.inria.fr/hal-00780803
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'13 (2013), Jan 2013, Roma, Italy

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Roma, Italy

Relation: hal-00780803; https://hal.inria.fr/hal-00780803; https://hal.inria.fr/hal-00780803/document; https://hal.inria.fr/hal-00780803/file/js-star-popl-2013.pdf

Availability: https://hal.inria.fr/hal-00780803
https://hal.inria.fr/hal-00780803/document
https://hal.inria.fr/hal-00780803/file/js-star-popl-2013.pdf

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

Authors: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

Contributors: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

Source: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Beijing, China

Availability: https://inria.hal.science/hal-00773654
https://inria.hal.science/hal-00773654v1/document
https://inria.hal.science/hal-00773654v1/file/DJR.pdf
https://doi.org/10.1145/2336717.2336726

EM Decoding of Tardos Traitor Tracing Codes

Authors: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) et al.

Contributors: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) et al.

Source: ACM Multimedia and Security ; https://inria.hal.science/inria-00505875 ; ACM Multimedia and Security, Sep 2009, Princeton, United States

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing

Subject Geographic: United States

Time: Princeton, United States

Availability: https://inria.hal.science/inria-00505875
https://inria.hal.science/inria-00505875/document
https://inria.hal.science/inria-00505875/file/mmsec26_furon.pdf

Behavior Abstraction in Malware Analysis

Authors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Contributors: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves et al.

Source: 1st International Conference on Runtime Verification
https://inria.hal.science/inria-00536500
1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩

Subject Terms: behavioral detection, abstraction, trace, rewriting, finite state automaton, formal language, dynamic binary instrumentation, Malware, behavior abstraction, string rewriting, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: St. Julians, Malta

Availability: https://inria.hal.science/inria-00536500
https://inria.hal.science/inria-00536500/document
https://inria.hal.science/inria-00536500/file/RV-preprint.pdf
https://doi.org/10.1007/978-3-642-16612-9_14

Unconditional self-modifying code elimination with dynamic compiler optimizations

Authors: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel et al.

Contributors: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel et al.

Source: 5th International Conference on Malicious and Unwanted Software
https://inria.hal.science/inria-00538376
5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France

Subject Terms: malware, packing, self-modifying code, slicing techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General/D.2.0.0: Protection mechanisms, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.6: Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Nancy, France

Availability: https://inria.hal.science/inria-00538376
https://inria.hal.science/inria-00538376v1/document
https://inria.hal.science/inria-00538376v1/file/packer.pdf

Detecting Privacy Leaks in the RATP App: how we proceeded and what we found

Authors: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent et al.

Contributors: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent et al.

Source: GREHACK 2013 ; https://inria.hal.science/hal-00872967 ; GREHACK 2013, Guillaume Jeanne, Nov 2013, Grenoble, France

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

Subject Geographic: Grenoble, France

Availability: https://inria.hal.science/hal-00872967
https://inria.hal.science/hal-00872967v1/document
https://inria.hal.science/hal-00872967v1/file/ratp_app_analysis.pdf

Automaton-based Confidentiality Monitoring of Concurrent Programs

Authors: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Contributors: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Source: Computer Security Foundations Symposium ; https://inria.hal.science/inria-00161019 ; Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Availability: https://inria.hal.science/inria-00161019
https://inria.hal.science/inria-00161019/document
https://inria.hal.science/inria-00161019/file/abnim_concurrent.pdf

Formal Modeling and Verification for Domain Validation and ACME

Authors: Bhargavan, Karthikeyan Delignat-Lavaud, Antoine Kobeissi, Nadim et al.

Contributors: Bhargavan, Karthikeyan Delignat-Lavaud, Antoine Kobeissi, Nadim et al.

Source: [Research Report] INRIA Paris; Microsoft Research Cambridge. 2016

Subject Terms: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], domain validation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO]Computer Science [cs], ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols/C.2.2.2: Protocol verification, acme, formal verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, symbolic protocol analysis, proverif

Access URL: https://inria.hal.science/hal-01397439
https://inria.hal.science/hal-01397439v3/document
https://inria.hal.science/hal-01397439v3/file/paper.pdf

Securing Logs in Operation-based Collaborative Editing

Authors: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal et al.

Contributors: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal et al.

Source: CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012 ; https://inria.hal.science/hal-00761058 ; CSCW'12 - The Twelfth International Workshop on Collaborative Editing Systems 2012, Feb 2012, Seattle, United States

Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.5: Security and Protection/K.6.5.0: Authentication, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Seattle, United States

Availability: https://inria.hal.science/hal-00761058
https://inria.hal.science/hal-00761058v1/document
https://inria.hal.science/hal-00761058v1/file/iwces-paper.pdf

Direct Construction of Recursive MDS Diffusion Layers using Shortened BCH Codes

Authors: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Contributors: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) et al.

Source: Lecture Notes in Computer Science ; 21st International Workshop on Fast Software Encryption, FSE 2014, London, UK, March 3-5 ; https://inria.hal.science/hal-01044597 ; 21st International Workshop on Fast Software Encryption, FSE 2014, London, UK, March 3-5, Mar 2014, London, United Kingdom. pp.3-17, ⟨10.1007/978-3-662-46706-0_1⟩

Subject Terms: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT]

Subject Geographic: London, United Kingdom

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1412.4626; ARXIV: 1412.4626

Availability: https://inria.hal.science/hal-01044597
https://inria.hal.science/hal-01044597v2/document
https://inria.hal.science/hal-01044597v2/file/article.pdf
https://doi.org/10.1007/978-3-662-46706-0_1

A Monadic Framework for Relational Verification ; A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

Authors: Grimm, Niklas Maillard, Kenji Fournet, Cédric et al.

Contributors: Grimm, Niklas Maillard, Kenji Fournet, Cédric et al.

Source: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
https://hal.archives-ouvertes.fr/hal-01672703
7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), Jan 2018, Los Angeles, United States. pp.130--145, ⟨10.1145/3167090⟩

Subject Terms: Certified Optimizations, Relational Verification, Monadic Effects, Proof Assistants, Program Verification, SMT-based Automation, Weakest Preconditions, Information-Flow Control, Program Equivalence and Refinement, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.4: Program verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Subject Geographic: Los Angeles, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1703.00055; info:eu-repo/grantAgreement//715753/EU/Efficient Formally Secure Compilers to a Tagged Architecture/SECOMP; hal-01672703; https://hal.archives-ouvertes.fr/hal-01672703; ARXIV: 1703.00055

Availability: https://hal.archives-ouvertes.fr/hal-01672703
https://doi.org/10.1145/3167090