{"schema_version":"onlylabs.public_signal.v1","title":"Amazon (Nova) Writing: Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","description":"Amazon (Nova) writing signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626","json_url":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626/signal.json","generated_at":"2026-06-07T21:14:55.585404+00:00","org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/amazon","dossier_json_url":"https://onlylabs.fyi/labs/amazon/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626","signal_json":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626/signal.json","source":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","lab_dossier":"https://onlylabs.fyi/labs/amazon","lab_dossier_json":"https://onlylabs.fyi/labs/amazon/dossier.json","analysis":"https://onlylabs.fyi/analysis/amazon","analysis_json":"https://onlylabs.fyi/analysis/amazon/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/amazon/evidence.json","category":"https://onlylabs.fyi/frontier","category_json":"https://onlylabs.fyi/frontier.json","category_feed":"https://onlylabs.fyi/frontier/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","topic":"https://onlylabs.fyi/topics/talking","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","data_business":null},"answer_pack":{"answer":"Amazon (Nova) published Formally verified AES-XTS: The first AES algorithm to join s2n-bignum. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Notable research post from Amazon enhancing crypto security · Formally verified AES-XTS: The first AES algorithm to join s2n-bignum - Amazon Science Close Close Social bluesky threads twitter instagram youtube facebook linkedin.... onlylabs links this event to 1 captured evidence page and 6 related writing signals.","signal_desk":"talking","source_context":{"source_url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","source_host":"amazon.science","occurred_at":"2026-03-20T16:38:44+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date","context":null},"context_markers":[{"label":"Lab","value":"Amazon (Nova)","source":"signal"},{"label":"Signal desk","value":"talking","source":"signal"},{"label":"Source host","value":"amazon.science","source":"source"},{"label":"Notability","value":"Notable research post from Amazon enhancing crypto security","source":"signal"},{"label":"Watch term","value":"Data pipeline","source":"evidence"},{"label":"Watch term","value":"Safety and alignment","source":"evidence"},{"label":"Watch term","value":"Agents and tool use","source":"evidence"}],"evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-07T21:14:55.585404+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626/signal.json","dossier_json":"https://onlylabs.fyi/labs/amazon/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/amazon/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/amazon/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","evidence_focus":["post title","source URL","captured page text","HN traction","linked model or paper references","publication date"],"extraction_questions":["Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Which writing reframes a recent release, model, hiring wave, or policy stance?","Which posts mention data, evals, infrastructure, safety, or deployment workflows?"],"signal_questions":["What public theme, launch framing, or research direction does this writing signal expose?","Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Do the 6 related writing signals show a repeated pattern?"],"output_fields":["org","theme","public_framing","traction","data_business_lane","evidence_url"],"data_business_relevance":"Public writing supplies the narrative layer over raw signals and helps identify which frontier-lab priorities are becoming externally legible.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626/signal.json","required":true},{"label":"source","url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/amazon/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/amazon/evidence.json","required":true},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/talking/signals.json","required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze Amazon (Nova)'s writing signal \"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum\" for frontier lab strategy."},"semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published","object":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","text":"Amazon (Nova) published Formally verified AES-XTS: The first AES algorithm to join s2n-bignum."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"is classified as","object":"writing signal","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum is classified as writing signal."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"belongs to","object":"talking desk","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum belongs to talking desk."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has evidence coverage","object":"1 captured evidence page","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has evidence coverage 1 captured evidence page."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has captured page count","object":"1","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has captured page count 1."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has readable page count","object":"1","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has readable page count 1."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has related signal count","object":"6","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has related signal count 6."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has analysis playbook objective","object":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has analysis playbook objective Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has source host","object":"amazon.science","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has source host amazon.science."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has lab","object":"Amazon (Nova)","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has lab Amazon (Nova)."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has signal desk","object":"talking","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has signal desk talking."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has source host","object":"amazon.science","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has source host amazon.science."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has notability","object":"Notable research post from Amazon enhancing crypto security","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has notability Notable research post from Amazon enhancing crypto security."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has watch term","object":"Data pipeline","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has watch term Data pipeline."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has watch term","object":"Safety and alignment","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has watch term Safety and alignment."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has watch term","object":"Agents and tool use","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has watch term Agents and tool use."}]},"intelligence":{"signal_desk":"talking","answer":"Amazon (Nova) published Formally verified AES-XTS: The first AES algorithm to join s2n-bignum. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Notable research post from Amazon enhancing crypto security · Formally verified AES-XTS: The first AES algorithm to join s2n-bignum - Amazon Science Close Close Social bluesky threads twitter instagram youtube facebook linkedin.... onlylabs links this event to 1 captured evidence page and 6 related writing signals.","semantic_triples":[{"subject":"Amazon (Nova)","predicate":"published","object":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","text":"Amazon (Nova) published Formally verified AES-XTS: The first AES algorithm to join s2n-bignum."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"is classified as","object":"writing signal","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum is classified as writing signal."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"belongs to","object":"talking desk","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum belongs to talking desk."},{"subject":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","predicate":"has evidence coverage","object":"1 captured evidence page","text":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum has evidence coverage 1 captured evidence page."}]},"signal":{"id":"2e8af20a-fd68-4946-918a-8b9217bdf626","url":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626","json_url":"https://onlylabs.fyi/signals/2e8af20a-fd68-4946-918a-8b9217bdf626/signal.json","source_url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","title":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","summary":"Amazon (Nova) published a writing signal. onlylabs watches public writing for research themes, product direction, and model-launch context.","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-03-20T16:38:44+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date","evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum"]},"facets":{},"traction":{"github_stars":null,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","final_url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","title":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","http_status":200,"content_type":"text/html;charset=UTF-8","capture_method":"plain","fetched_at":"2026-06-07T21:14:55.585404+00:00","bytes":338139,"raw_path":"4bc6bce850c09ce64dcd8cbd4bfff9e3a954d23d0bba404a7e373782a3a79a73.html","content_hash":"1dc9c77ae1c7786016aa7ce59ad19ddd38356a8cfb4a1ef0bfa41bf268e84670","excerpt_chars":1200,"truncated":true,"excerpt":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum - Amazon Science Close Close Social bluesky threads twitter instagram youtube facebook linkedin github rss Menu Research Research areas Automated reasoning Cloud and systems Computer vision Conversational AI Economics Information and knowledge management Machine learning Operations research and optimization Quantum technologies Robotics Search and information retrieval Security, privacy, and abuse prevention Sustainability Our scientific contributions Publications Research from our scientists and collaborators. Conferences Our experts present and discuss cutting-edge research at scientific meetings globally. Research areas Automated reasoning Cloud and systems Computer vision Conversational AI Economics Information and knowledge management Machine learning Operations research and optimization Quantum technologies Robotics Search and information retrieval Security, privacy, and abuse prevention Sustainability Our scientific contributions Publications Research from our scientists and collaborators. Conferences Our experts present and discuss cutting-edge research at scientific meetings globally. News & blog The..."},"evidence_pages":[{"url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","final_url":"https://www.amazon.science/blog/formally-verified-aes-xts-the-first-aes-algorithm-to-join-s2n-bignum","title":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum","http_status":200,"content_type":"text/html;charset=UTF-8","capture_method":"plain","fetched_at":"2026-06-07T21:14:55.585404+00:00","bytes":338139,"raw_path":"4bc6bce850c09ce64dcd8cbd4bfff9e3a954d23d0bba404a7e373782a3a79a73.html","content_hash":"1dc9c77ae1c7786016aa7ce59ad19ddd38356a8cfb4a1ef0bfa41bf268e84670","excerpt_chars":1200,"truncated":true,"excerpt":"Formally verified AES-XTS: The first AES algorithm to join s2n-bignum - Amazon Science Close Close Social bluesky threads twitter instagram youtube facebook linkedin github rss Menu Research Research areas Automated reasoning Cloud and systems Computer vision Conversational AI Economics Information and knowledge management Machine learning Operations research and optimization Quantum technologies Robotics Search and information retrieval Security, privacy, and abuse prevention Sustainability Our scientific contributions Publications Research from our scientists and collaborators. Conferences Our experts present and discuss cutting-edge research at scientific meetings globally. Research areas Automated reasoning Cloud and systems Computer vision Conversational AI Economics Information and knowledge management Machine learning Operations research and optimization Quantum technologies Robotics Search and information retrieval Security, privacy, and abuse prevention Sustainability Our scientific contributions Publications Research from our scientists and collaborators. Conferences Our experts present and discuss cutting-edge research at scientific meetings globally. News & blog The..."}],"related_signals":[{"id":"54aa0928-e2d8-42a7-bd35-35ffd86960ff","url":"https://onlylabs.fyi/signals/54aa0928-e2d8-42a7-bd35-35ffd86960ff","source_url":"https://www.amazon.science/blog/graviton5s-improved-design-increases-speed-and-energy-efficiency-beyond-moores-law","title":"Graviton5’s improved design increases speed and energy efficiency — beyond Moore’s law","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-10T15:00:00+00:00","first_seen_at":"2026-06-11T07:01:02.901631+00:00","date_source":"rss.item_date"},{"id":"50af815d-c9e4-4f62-8f18-fb20ed2c559c","url":"https://onlylabs.fyi/signals/50af815d-c9e4-4f62-8f18-fb20ed2c559c","source_url":"https://www.amazon.science/blog/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation","title":"EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-10T15:00:00+00:00","first_seen_at":"2026-06-11T07:01:02.901631+00:00","date_source":"rss.item_date"},{"id":"ca203ab5-0b26-4cf4-842a-b6974d959a3c","url":"https://onlylabs.fyi/signals/ca203ab5-0b26-4cf4-842a-b6974d959a3c","source_url":"https://www.amazon.science/blog/real-world-grounding-in-agentic-ai","title":"Real-world grounding in agentic AI","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-08T19:00:00+00:00","first_seen_at":"2026-06-09T07:00:03.169623+00:00","date_source":"rss.item_date"},{"id":"7aa6e2f0-9f45-4d83-ae57-da5d76968332","url":"https://onlylabs.fyi/signals/7aa6e2f0-9f45-4d83-ae57-da5d76968332","source_url":"https://www.amazon.science/blog/bridging-intent-and-execution-in-agentic-systems","title":"Bridging intent and execution in agentic systems","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-08T17:00:00+00:00","first_seen_at":"2026-06-09T07:00:03.169623+00:00","date_source":"rss.item_date"},{"id":"1745a0a9-a045-456c-a1f7-f4123168fe17","url":"https://onlylabs.fyi/signals/1745a0a9-a045-456c-a1f7-f4123168fe17","source_url":"https://www.amazon.science/blog/ground-truth-is-a-process-not-a-dataset","title":"Ground truth is a process, not a dataset","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-06-03T15:56:57+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date"},{"id":"870cabf1-8131-4b1a-ad15-4b6173ce2bdc","url":"https://onlylabs.fyi/signals/870cabf1-8131-4b1a-ad15-4b6173ce2bdc","source_url":"https://www.amazon.science/blog/how-flat-is-replacing-fat-in-aws-data-center-networks","title":"How flat is replacing fat in AWS data center networks","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"amazon","name":"Amazon (Nova)","category":"frontier-lab"},"occurred_at":"2026-05-28T10:30:00+00:00","first_seen_at":"2026-06-05T20:58:33.860301+00:00","date_source":"rss.item_date"}]}