Informatique & Cybersécurité

2955 tuit · page 4/74
Sciences formelles & physiques Informatique & Cybersécurité
FR

Constable: ISCA 2024 Best Paper

Rahul Bera
17 min
5/5
Architecture Des OrdinateursMicroarchitectureMémoire
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Quantum in the Big Four with Aaron Kemp

The New Quantum Era
44 min
4/5
QuantiqueCybersécuritéPost-Quantique
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

Putting the NICE Framework to Work

SANS Institute
14 min
4/5
NICECybersécuritéGestion Des Talents
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

0x32A - Actu - 09 aout 2026

PolySécure Podcast
52 min
4/5
CybersécuritéIntelligence ArtificielleActualité
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

Quantum for Emerging Markets

André M. König
117 min
4/5
QuantiqueMarchés ÉmergentsGéopolitique
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 24: LTL Encoding Examples

Prof. Chandan Karfa
19 min
4/5
LTLModel CheckingVérification Formelle
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 23: LTL: Syntax and Semantics

Prof. Chandan Karfa
45 min
4/5
Logique TemporelleVérification FormelleLTL
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 22: Introduction to XLA Compilation

Dr. Satyajit Das et Prof. Satyadhyan Chickerur
21 min
4/5
XLATensorFlowCompilation
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 22: Introduction to Model Checking

Prof. Chandan Karfa
30 min
4/5
Model CheckingVérification FormelleLTL
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 21: Introduction to Model Checking

Prof. Chandan Karfa
28 min
4/5
Model CheckingPropriétés FormellesLogique Temporelle
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

The Cost of a Data Breach

Shira Rubinoff
32 min
4/5
CybersécuritéViolation De DonnéesIA
Sciences formelles & physiques Informatique & Cybersécurité
FR

Cheating at Minesweeper with a Quantum Computer

Dr. Katie McCormick
21 min
4/5
Algorithme De GroverInformatique QuantiqueAmplification D'amplitude
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

0x328 - H'umain - Crypto-surprise (leHACK)

PolySécure Podcast
67 min
4/5
CybersécuritéIngénierie SocialeArnaque
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Your Vendors Have Vendors You've Never Heard Of

Industrial Cybersecurity Insider
34 min
4/5
Cybersécurité IndustrielleGestion Des Risques TiersSécurité OT
Sciences appliquées & ingénierie Informatique & Cybersécurité
FR

Lab Tour - Quantum Computing Inc.

Quantum Computing Inc.
13 min
4/5
QuantiquePhotoniqueInformatique Quantique
Sciences formelles & physiques Informatique & Cybersécurité
FR

How quantum computers model molecules

IBM Research
48 min
4/5
Informatique QuantiqueSimulation MoléculaireChimie Quantique