Computing & Cybersecurity

2955 tuit · page 4/74
Constable: ISCA 2024 Best Paper
Formal & Physical Sciences Computing & Cybersecurity
EN

Constable: ISCA 2024 Best Paper

Rahul Bera
17 min
★ ★ ★ ★ ★ 5/5
Computer ArchitectureLoad EliminationInstruction Level Parallelism
Quantum in the Big Four with Aaron Kemp
Applied Sciences & Engineering Computing & Cybersecurity
EN

Quantum in the Big Four with Aaron Kemp

Sebastian Hassinger
44 min
★ ★ ★ ★ ☆ 4/5
Quantum ComputingPost-Quantum CryptographyQuantum Machine Learning
Putting the NICE Framework to Work
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

Putting the NICE Framework to Work

SANS Institute
14 min
★ ★ ★ ★ ☆ 4/5
Cybersecurity WorkforceNICE FrameworkSkills-Based Hiring
0x32A - Actu - 09 aout 2026
Applied Sciences & Engineering Computing & Cybersecurity
EN

0x32A - Actu - 09 aout 2026

PolySécure Podcast
52 min
★ ★ ★ ☆ ☆ 3/5
AI SecurityCybersecurity NewsLLM Agents
Quantum for Emerging Markets
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

Quantum for Emerging Markets

André M. König
117 min
★ ★ ★ ★ ☆ 4/5
Quantum ComputingEmerging MarketsQuantum Strategy
Lec 24: LTL Encoding Examples
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 24: LTL Encoding Examples

Prof. Chandan Karfa
19 min
★ ★ ★ ★ ☆ 4/5
LTLModel CheckingFormal Verification
Lec 23: LTL: Syntax and Semantics
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 23: LTL: Syntax and Semantics

Prof. Chandan Karfa
45 min
★ ★ ★ ★ ☆ 4/5
LTLFormal VerificationTemporal Logic
Lec 22: Introduction to XLA Compilation
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to XLA Compilation

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
21 min
★ ★ ★ ★ ☆ 4/5
XLATensorFlowCompiler
Lec 22: Introduction to Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 22: Introduction to Model Checking

Prof. Chandan Karfa
30 min
★ ★ ★ ★ ☆ 4/5
Model CheckingFormal VerificationFSM
Lec 21: Introduction to Model Checking
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 21: Introduction to Model Checking

Prof. Chandan Karfa
28 min
★ ★ ★ ★ ☆ 4/5
Model CheckingFormal VerificationTemporal Logic
The Cost of a Data Breach
Applied Sciences & Engineering Computing & Cybersecurity
EN

The Cost of a Data Breach

Shira Rubinoff
32 min
★ ★ ★ ★ ☆ 4/5
Data BreachCybersecurityAI
Your Vendors Have Vendors You've Never Heard Of
Applied Sciences & Engineering Computing & Cybersecurity
EN

Your Vendors Have Vendors You've Never Heard Of

Craig Duckworth (host), Jowanza Joseph (guest)
34 min
★ ★ ★ ★ ☆ 4/5
Third-Party RiskOT SecuritySupply Chain
Lab Tour - Quantum Computing Inc.
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lab Tour - Quantum Computing Inc.

Quantum Computing Inc. / WISER
13 min
★ ★ ★ ☆ ☆ 3/5
Quantum ComputingPhotonicsLab Tour
How quantum computers model molecules
Formal & Physical Sciences Computing & Cybersecurity
EN

How quantum computers model molecules

IBM Research
48 min
★ ★ ★ ★ ☆ 4/5
Quantum ComputingQuantum ChemistryMolecular Simulation
Front End Testing with GitHub Actions
Applied Sciences & Engineering Computing & Cybersecurity
EN

Front End Testing with GitHub Actions

Amy Kapernick
35 min
★ ★ ★ ★ ☆ 4/5
GitHub ActionsFront-End TestingCI/CD