CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers James Larisch∗ Bruce M. Maggs‡ ∗ Northeastern

Source URL: www.ieee-security.org

• Cryptography
• Transport Layer Security
• Public key infrastructure
• Public-key cryptography
• Cryptographic protocols
• Key management
• Online Certificate Status Protocol
• Certificate revocation list
• X.509
• Certificate authority
• OCSP stapling
• Public key certificate

dunck.doc.6 Chapter 5: The Proteus System for the Development of Parallel Applications 143

Source URL: www.kestrel.edu

• Parallel computing
• Computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Software prototyping
• Concurrent computing
• Message Passing Interface
• SIMD
• Refinement

System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal

Source URL: www.logic.at

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Mathematics
• Proof theory
• Logic in computer science
• Prover9
• Resolution
• Proof compression
• Automated reasoning
• Natural deduction
• Mathematical proof

InvestorHQ A Complete Investor Relations “IR Site” Content Management System In addition to Fortune 500 companies relying upon Business Wire to accurately deliver sensitive and timely information, these companies als

Source URL: cdn2.hubspot.net

• Economy
• Finance
• Money
• Corporate finance
• Investment
• Investor relations
• Stock market
• Business Wire
• Investor
• Corporate governance
• Email
• Investor application

September 4, 2018 Via Electronic Submission Ann E. Misback Secretary Board of Governors of the Federal Reserve System 20th Street and Constitution Avenue N.W.

Source URL: www.theclearinghouse.org

• Economy
• Money
• Finance
• Market data
• Real-time gross settlement
• Interbank networks
• Federal Reserve System
• Financial regulation
• ISO 20022
• Fedwire
• Society for Worldwide Interbank Financial Telecommunication
• Wire transfer

BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

Source URL: www.teradactyl.com

• Computing
• Computer data storage
• Server appliance
• Network-attached storage
• Nearline storage
• Converged storage
• Spectra Logic

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

TeraMerge® Enables Multiple Level Synthetic Backup Consolidation for the Full Version of the True incremental Backup System® (Increases Backup Server Performance)

Source URL: www.teradactyl.com

October3, 2018 Announcement of E-mail Support for Use of Online System Civil Rehabilitation Debtor: MtGox Co., Ltd. Civil Rehabilitation Trustee: Attorney-at-law Nobuaki Kobayashi On August 23, 2018, we released a system

Source URL: www.mtgox.com

• Mail
• Mt. Gox
• Spam filtering