LaTeX (ˈleɪtɛk 레이텍 또는 ˈlɑːtɛk 라텍)은 문서 조판에 사용되는 프로그램입니다. 도널드 커누스가 만든 TeX을 쉽게 사용하기 위하여 1984년에 레슬리 램포트가 만든 매크로입니다. TeX을 직접 사용하기는 어렵기 때문에, 오늘날에는 LaTeX을 이용하여 문서를 만드는 경우가 많습니다.
이 포스팅에서는 MacOSX에서 MacTex를 이용해 LaTeX를 사용하는 방법을 알아보겠습니다.

Tiros는 네트워크 연결 가능성 추론 도구입니다. 이 도구는 상용 자동 논리 검증 도구를 사용하여 보안 취약성의 원인이 되는 네트워크 구성 오류를 찾아냅니다. Tiros는 최근 Amazon inspector 서비스에 도입되어 현재 고객이 클라우드에서 애플리케이션을 빌드하는 데 사용 중인 네트워크 보안 분석 기능의 기초가 됩니다. 또한 Tiros는 AWS 내에서 기존 AWS 네트워킹 기능을 기반으로 구축 된 다양한 AWS 서비스의 규정 준수 검증과 보안 불변성 준수를 자동화하는 데에도 사용됩니다.

이 포스트는 28th Usenix Security Symposium의 BITE: Bitcoin Lightweight Clients Privacy usin Trusted Execution을 바탕으로 작성되었습니다.