Suchergebnisse - [INFO:INFO_CR] Computer Science/Cryptography and Security

Foundations for analyzing security APIs in the symbolic and computational model

Autoren: Künnemann, Robert

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Security API, Verification

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00942459
http://tel.archives-ouvertes.fr/docs/01/01/31/64/PDF/Kunnemann2014.pdf

Security analysis of image copy detection systems based on SIFT descriptors

Autoren: Do, Thanh-Toan

Schlagwörter: [INFO:INFO_TI] Computer Science/Image Processing, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_CR] Computer Science/Cryptography and Security, indexation, images, sécurité, SIFT, recherche d'images basée contenu

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00766932
http://tel.archives-ouvertes.fr/docs/00/76/69/32/PDF/these_final.pdf

Sécurité et protection de la vie privée dans les systèmes RFID, appliquées aux réseaux EPCglobal

Autoren: TOUNSI, Wiem

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Wireless networks, RFID, Security, Privacy, Authentication, Formal model, Key generation systems

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00978739
http://tel.archives-ouvertes.fr/docs/00/97/87/39/PDF/2014telb0291_Tounsi_Wiem.pdf

Contribution à l'amélioration de la qualité de service et de la sécurité pour les communications de données en environnement réseau contraint

Autoren: Larrieu, Nicolas

Schlagwörter: [INFO:INFO_NI] Computer Science/Networking and Internet Architecture, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, amélioration de la QdS, gestion de la sécurité, lien entre QdS et sécurité, réseaux contraints, communication de données

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01010013
http://tel.archives-ouvertes.fr/docs/01/01/00/13/PDF/hdr_n_larrieu_ups_juin_2014_final_ok_pour_impression_.pdf
http://tel.archives-ouvertes.fr/docs/01/01/00/13/ANNEX/n_larrieu_hdr_juin_2014_v2.0_version_finale_.pdf

Hyperviseur de protection d'exécutables - Etude, développement et discussion

Autoren: Deligne, Eddy

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [INFO:INFO_RO] Computer Science/Operations Research, [INFO:INFO_RO] Informatique/Recherche opérationnelle, Hyperviseur, Protection, Sécurité, ELF, VT-x, Linux

Verfügbarkeit: http://pastel.archives-ouvertes.fr/pastel-00976713
http://pastel.archives-ouvertes.fr/docs/00/97/67/13/PDF/these_page_1.pdf

Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols

Autoren: Beauxis, Romain

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Concurrency Theory, Process Calculi, Anonymity

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00772693
http://tel.archives-ouvertes.fr/docs/00/77/26/93/PDF/phd.pdf

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

Autoren: Andrés, Miguel

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CR] Computer Science/Cryptography and Security, Probabilistic Model Checking, Quantitative Information Flow

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00655506
http://tel.archives-ouvertes.fr/docs/00/65/55/06/PDF/PhDDissertation-4.pdf

Résolution de systèmes polynomiaux et cryptologie sur les courbes elliptiques

Autoren: Huot, Louise

Schlagwörter: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, base de gröbner, systèmes polynomiaux, courbes elliptiques, problème du logarithme discret, systèmes avec symétries, cryptanalyse algébrique

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00925271
http://tel.archives-ouvertes.fr/docs/00/92/52/71/PDF/these.pdf

Compromis performance/sécurité des passerelles très haut débit pour Internet.

Autoren: Jacquin, Ludovic

Schlagwörter: [INFO:INFO_NI] Computer Science/Networking and Telecommunication, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [INFO:INFO_PF] Computer Science/Performance and Reliability, [INFO:INFO_PF] Informatique/Performance et fiabilité, performance, sécurité, IPsec, ICMP

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00911075
http://tel.archives-ouvertes.fr/docs/00/91/10/75/PDF/These_Ludovic_Jacquin.pdf

Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques

Autoren: Estibals, Nicolas

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [INFO:INFO_AO] Computer Science/Computer Arithmetic, [INFO:INFO_AO] Informatique/Arithmétique des ordinateurs, cryptographie, couplage, opérateur matériel, arithmétique, architecture des ordinateurs

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00924743
http://tel.archives-ouvertes.fr/docs/00/92/47/43/PDF/thesis-Nicolas.Estibals.pdf

CONTRIBUTIONS À LA RÉSILIENCE ET AU RESPECT DE LA VIE PRIVÉE DES SYSTÈMES MOBIQUITAIRES

Autoren: Killijian, Marc-Olivier

Schlagwörter: [INFO:INFO_IU] Computer Science/Ubiquitous Computing, [INFO:INFO_IU] Informatique/Informatique ubiquitaire, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, vie privée, résilience, systèmes mobiles, informatique ubiquitaire

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00849725
http://tel.archives-ouvertes.fr/docs/00/84/97/25/PDF/hdr-marco.pdf

Mise en oeuvre de politiques de protection de données à caractère personnel : ine approche reposant sur la réécriture de requêtes SPARQL

Autoren: Oulmakhzoune, Said

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, Privacy, OrBAC, Query rewriting, Data mediation, Data services, SPARQL

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00833895
http://tel.archives-ouvertes.fr/docs/00/83/38/95/PDF/2013telb0274_Oulmakhzoune_Said.pdf

Conception and implémentation de cryptographie à base de réseaux

Autoren: Lepoint, Tancrède

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, cryptographie à clé publique, réseaux euclidiens, signature numérique, chiffrement homomorphe, applications multilinéaires, implémentation

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01069864
http://tel.archives-ouvertes.fr/docs/01/06/98/64/PDF/thesis-lepoint-print.pdf

Certified Compilation and Worst-Case Execution Time Estimation

Autoren: Oliveira Maroneze, André

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Software, Verification, Compilation, Worst-Case Execution Time Estimation, Proof assistants

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01064869
http://tel.archives-ouvertes.fr/docs/01/06/48/69/PDF/OLIVEIRA_-_MARONEZE_Andre.pdf

MPEG-4 AVC stream watermarking

Autoren: Hasnaoui, Marwen

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Stream watermarking, MPEG-4 AVC, M-QIM, Ownership protection, Integrity verification, Drift-free

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01048697
http://tel.archives-ouvertes.fr/docs/01/04/86/97/PDF/HASNAOUI_Marwen.pdf

Protection des Accélérateurs Matériels de Cryptographie Symétrique

Autoren: Guilley, Sylvain

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Trusted computing, secured electronics, countermeasures, provable security

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00815544
http://tel.archives-ouvertes.fr/docs/00/81/55/44/PDF/hdr_guilley.pdf

Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques

Autoren: Thomé, Emmanuel

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, [MATH:MATH_NT] Mathematics/Number Theory, [MATH:MATH_NT] Mathématiques/Théorie des nombres, [INFO:INFO_AO] Computer Science/Computer Arithmetic, [INFO:INFO_AO] Informatique/Arithmétique des ordinateurs, Crible algébrique, Courbes algébriques, Factorisation d'entiers, Logarithme discret, Algèbre linéaire creuse, Corps finis, Arithmétique des polynômes

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00765982
http://tel.archives-ouvertes.fr/docs/00/77/12/93/PDF/hdr.pdf

Partage de secret et théorie algorithmique de l'information

Autoren: Kaced, Tarik

Schlagwörter: [INFO:INFO_IT] Computer Science/Information Theory, [INFO:INFO_IT] Informatique/Théorie de l'information, [MATH:MATH_IT] Mathematics/Information Theory, [MATH:MATH_IT] Mathématiques/Théorie de l'information et codage, [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Théorie de l'information, partage de secret, Inégalité d'information, entropie de Shannon, Complexité de Kolmogorov

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00763117
http://tel.archives-ouvertes.fr/docs/00/76/31/17/PDF/thesis.pdf

Analyses sécuritaires de code de carte à puce sous attaques physiques simulées

Autoren: Kauffmann-Tourkestansky, Xavier

Schlagwörter: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_CR] Informatique/Cryptographie et sécurité, Code, Sécurité, Attaques physiques, Carte à puce, Confidentialité, Intégrité, Injection de faute, Simulation logicielle

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00771273
http://tel.archives-ouvertes.fr/docs/00/81/28/97/PDF/xavier.kauffmann-tourkestansky_2440.pdf

Sécurité assistée par ordinateur pour les primitives cryptgraphiques, les protocoles de vote électronique et les réseaux de capteurs sans fil.

Autoren: Lafourcade, Pascal

Schlagwörter: [INFO:INFO_CR] Computer Science/Cryptography and Security, [INFO:INFO_IA] Computer Science/Computer Aided Engineering, Formal verification, computational model, symbolic model, concrete security, public encryption scheme, encryption modes, MAC, homomorphic encryption, privacy, electronic voting protocol, wireless sensor networks, neigbourhood discovery, indpendent intruders, routing algorithms, resilience

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00807568
http://tel.archives-ouvertes.fr/docs/00/80/75/68/PDF/hdr.pdf