MENLO PARK, CA—Alib.io, a startup that uses artificial intelligence to generate plausible alibis, has raised $30 million in Series A funding led by Sequoia Capital, with participation from In-Q-Tel, the venture capital arm of the CIA.