Výsledky vyhľadávania - "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

Autori: Carpov, Sergiu Fontaine, Caroline Ligier, Damien a ďalší

Prispievatelia: Carpov, Sergiu Fontaine, Caroline Ligier, Damien a ďalší

Zdroj: 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.

Predmety: 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]

Dostupnosť: 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

Autori: Kabil, Alexandre Duval, Thierry Cuppens, Nora a ďalší

Prispievatelia: Kabil, Alexandre Duval, Thierry Cuppens, Nora a ďalší

Zdroj: 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/

Predmety: 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]

Geografické téma: Hangzou, China

Dostupnosť: 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

Autori: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) a ďalší

Prispievatelia: Bouffard, Guillaume Lanet, Jean-Louis DMI (XLIM-DMI) a ďalší

Zdroj: Computers & Security. 50:33-46

Predmety: 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]

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Blot, Elliott Dreier, Jannik Lafourcade, Pascal a ďalší

Prispievatelia: Blot, Elliott Dreier, Jannik Lafourcade, Pascal a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: Nancy, France

Dostupnosť: 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

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

Autori: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir a ďalší

Prispievatelia: Wahab, Muhammad Abdul Cotret, Pascal Nasr Allah, Mounir a ďalší

Zdroj: 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/

Predmety: 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

Geografické téma: Ghent, Belgium

Dostupnosť: 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

A Monadic Framework for Relational Verification

Autori: Grimm, Niklas Maillard, Kenji Fournet, Cédric a ďalší

Prispievatelia: Grimm, Niklas Maillard, Kenji Fournet, Cédric a ďalší

Zdroj: 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⟩

Predmety: 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

Prístupová URL adresa: https://hal.science/hal-01672703

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

Autori: Jangda, Abhinav Mishra, Mohit Baudry, Benoit a ďalší

Prispievatelia: Jangda, Abhinav Mishra, Mohit Baudry, Benoit a ďalší

Zdroj: 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/

Predmety: 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]

Geografické téma: Auckland, New Zealand

Dostupnosť: 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

Autori: Bardet, Magali Faugère, Jean-Charles Salvy, Bruno a ďalší

Prispievatelia: Bardet, Magali Faugère, Jean-Charles Salvy, Bruno a ďalší

Zdroj: Journal of Complexity. 29:53-75

Predmety: 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)

Prístupová URL adresa: 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

Autori: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a ďalší

Prispievatelia: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: Pisa, Italy

Dostupnosť: 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

Behavior Abstraction in Malware Analysis

Autori: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a ďalší

Prispievatelia: Beaucamps, Philippe Gnaedig, Isabelle Marion, Jean-Yves a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: St. Julians, Malta

Dostupnosť: 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

Autori: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel a ďalší

Prispievatelia: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel a ďalší

Zdroj: 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

Predmety: 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]

Geografické téma: Nancy, France

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

Direct Construction of Recursive MDS Diffusion Layers using Shortened BCH Codes

Autori: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Prispievatelia: Augot, Daniel Finiasz, Matthieu Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: London, United Kingdom

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

Dostupnosť: 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

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

Autori: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent a ďalší

Prispievatelia: Achara, Jagdish, Prasad Lefruit, James-Douglass Roca, Vincent a ďalší

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

Predmety: 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

Geografické téma: Grenoble, France

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

Fully Abstract Compilation to JavaScript

Autori: Fournet, Cédric Swamy, Nikhil Chen, Juan a ďalší

Prispievatelia: Fournet, Cédric Swamy, Nikhil Chen, Juan a ďalší

Zdroj: 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

Predmety: 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]

Geografické téma: 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

Dostupnosť: 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

Securing Logs in Operation-based Collaborative Editing

Autori: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal a ďalší

Prispievatelia: Truong, Hien Thi Thu Ignat, Claudia-Lavinia Molli, Pascal a ďalší

Zdroj: 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

Predmety: 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]

Geografické téma: Seattle, United States

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

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

Autori: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a ďalší

Prispievatelia: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: Beijing, China

Dostupnosť: 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

Algebraic Cryptanalysis of McEliece Variants with Compact Keys

Autori: Faugère, Jean-Charles Otmani, Ayoub Perret, Ludovic a ďalší

Prispievatelia: Faugère, Jean-Charles Otmani, Ayoub Perret, Ludovic a ďalší

Zdroj: Eurocrypt 2010 - 29th International Conference on Cryptology ; https://inria.hal.science/inria-00596632 ; Eurocrypt 2010 - 29th International Conference on Cryptology, May 2010, Monaco, Monaco. pp.279-298, ⟨10.1007/978-3-642-13190-5_14⟩

Predmety: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Monaco

Dostupnosť: https://inria.hal.science/inria-00596632
https://inria.hal.science/inria-00596632v1/document
https://inria.hal.science/inria-00596632v1/file/Eurocrypt2010.pdf
https://doi.org/10.1007/978-3-642-13190-5_14

EM Decoding of Tardos Traitor Tracing Codes

Autori: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) a ďalší

Prispievatelia: Furon, Teddy Pérez-Freire, Luis Digital image processing, modeling and communication (TEMICS) a ďalší

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

Predmety: 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

Geografické téma: United States

Time: Princeton, United States

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

Component-based Access Control: Secure Software Composition through Static Analysis

Autori: Parrend, Pierre Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) a ďalší

Prispievatelia: Parrend, Pierre Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) a ďalší

Zdroj: Software Composition ; https://inria.hal.science/inria-00270942 ; Software Composition, Mar 2008, Budapest, Hungary. pp.68-83, ⟨10.1007/978-3-540-78789-1_5⟩

Predmety: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Geografické téma: Budapest, Hungary

Dostupnosť: https://inria.hal.science/inria-00270942
https://inria.hal.science/inria-00270942v1/document
https://inria.hal.science/inria-00270942v1/file/parrend08cbac.pdf
https://doi.org/10.1007/978-3-540-78789-1_5

Automaton-based Confidentiality Monitoring of Concurrent Programs

Autori: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) a ďalší

Prispievatelia: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) a ďalší

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

Predmety: 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]

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