Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th

Source URL: alloytools.org

• Theoretical computer science
• Formal methods
• Formal verification
• Logic in computer science
• Frappier
• Electronic engineering

Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio

Source URL: www.lsi.upc.edu

• Formal methods
• Software engineering
• Theoretical computer science
• Predicate transformer semantics
• Computing
• Loop invariant
• Invariant
• 120-cell

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

July 11, 2018 The Honorable Randy Weber, Chair The Honorable Marc Veasey, Ranking Member The Honorable Barbara Comstock, Chair The Honorable Daniel Lipinski, Ranking Member Subcommittee on Energy & Subcommittee on Resear

Source URL: www.epic.org

• Privacy
• Data security
• Law
• Identity management
• Data protection
• Digital rights
• Human rights
• Marc Rotenberg
• Electronic Privacy Information Center
• Internet privacy
• Information privacy
• Latanya Sweeney

Proceedings on Privacy Enhancing Technologies ; ):186–203 Giovanni Cherubin*, Jamie Hayes*, and Marc Juarez* Website Fingerprinting Defenses at the Application Layer

Source URL: www.petsymposium.org

• Computing
• World Wide Web
• Software engineering
• Web development
• Cryptographic protocols
• Secure communication
• Internet protocols
• Dark web
• Tor
• .onion
• Dynamic web page
• HTTPS

InLoc: Indoor Visual Localization with Dense Matching and View Synthesis Hajime Taira1 Masatoshi Okutomi1 Torsten Sattler2 Mircea Cimpoi3 Marc Pollefeys2,4 Josef Sivic3,5 Tomas Pajdla3 Akihiko Torii1 1 Tokyo Institute of

Source URL: openaccess.thecvf.com

• Computer vision
• Artificial intelligence
• Vision
• Photogrammetry
• Applications of computer vision
• Image search
• Robot control
• Outline of object recognition
• Conference on Computer Vision and Pattern Recognition
• Structure from motion
• Visual Word
• Pose

PDF Document

Source URL: www.marc.mezzarobba.net

PDF Document

Source URL: www.marc.mezzarobba.net

PDF Document

Source URL: www.marc.mezzarobba.net

PDF Document

Source URL: marc-stevens.nl