Suchergebnisse - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security AND Protection*

Treffer weiter einschränken
  1. 1

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

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

    Weitere Verfasser: Carpov, Sergiu Fontaine, Caroline Ligier, Damien et al.

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

    Schlagwörter: 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]

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

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

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

    Weitere Verfasser: Kabil, Alexandre Duval, Thierry Cuppens, Nora et al.

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Hangzou, China

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    The ultimate control flow transfer in a Java based smart card

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

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

    Quelle: Computers & Security. 50:33-46

    Schlagwörter: 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]

    Dateibeschreibung: application/pdf

    Zugangs-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

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Formal Analysis of Combinations of Secure Protocols

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

    Weitere Verfasser: Blot, Elliott Dreier, Jannik Lafourcade, Pascal et al.

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Nancy, France

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    A Monadic Framework for Relational Verification

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

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

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

    Schlagwörter: 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

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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

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

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

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

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

    Schlagwörter: 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

    Geographisches Schlagwort: Ghent, Belgium

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

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

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

    Weitere Verfasser: Jangda, Abhinav Mishra, Mohit Baudry, Benoit et al.

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Auckland, New Zealand

    Verfügbarkeit: https://inria.hal.science/hal-01382971
    https://inria.hal.science/hal-01382971v1/document
    https://inria.hal.science/hal-01382971v1/file/PID4513621.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    On the complexity of solving quadratic Boolean systems

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

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

    Quelle: Journal of Complexity. 29:53-75

    Schlagwörter: 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)

    Zugangs-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

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Abstraction-based Malware Analysis Using Rewriting and Model Checking

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Pisa, Italy

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Fully Abstract Compilation to JavaScript

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: 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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

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

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

    Weitere Verfasser: Doligez, Damien Jaume, Mathieu Rioboo, Renaud et al.

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Beijing, China

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    EM Decoding of Tardos Traitor Tracing Codes

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

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

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

    Schlagwörter: 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

    Geographisches Schlagwort: United States

    Time: Princeton, United States

    Verfügbarkeit: https://inria.hal.science/inria-00505875
    https://inria.hal.science/inria-00505875/document
    https://inria.hal.science/inria-00505875/file/mmsec26_furon.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Behavior Abstraction in Malware Analysis

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: St. Julians, Malta

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Unconditional self-modifying code elimination with dynamic compiler optimizations

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

    Weitere Verfasser: Gnaedig, Isabelle Kaczmarek, Matthieu Reynaud, Daniel et al.

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Nancy, France

    Verfügbarkeit: https://inria.hal.science/inria-00538376
    https://inria.hal.science/inria-00538376v1/document
    https://inria.hal.science/inria-00538376v1/file/packer.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

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

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

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

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

    Schlagwörter: 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

    Geographisches Schlagwort: Grenoble, France

    Verfügbarkeit: https://inria.hal.science/hal-00872967
    https://inria.hal.science/hal-00872967v1/document
    https://inria.hal.science/hal-00872967v1/file/ratp_app_analysis.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Automaton-based Confidentiality Monitoring of Concurrent Programs

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

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

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

    Schlagwörter: 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]

    Verfügbarkeit: https://inria.hal.science/inria-00161019
    https://inria.hal.science/inria-00161019/document
    https://inria.hal.science/inria-00161019/file/abnim_concurrent.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Formal Modeling and Verification for Domain Validation and ACME

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

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

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

    Schlagwörter: [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

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

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Securing Logs in Operation-based Collaborative Editing

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: Seattle, United States

    Verfügbarkeit: https://inria.hal.science/hal-00761058
    https://inria.hal.science/hal-00761058v1/document
    https://inria.hal.science/hal-00761058v1/file/iwces-paper.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Direct Construction of Recursive MDS Diffusion Layers using Shortened BCH Codes

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: London, United Kingdom

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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

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

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

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

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

    Schlagwörter: 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]

    Geographisches Schlagwort: 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

    Verfügbarkeit: https://hal.archives-ouvertes.fr/hal-01672703
    https://doi.org/10.1145/3167090

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: